get.ext function

Get the file extension from a file-name.