Add shell script to add .tif extension to filename

NOTE: this shell script uses sed, and it adds ".tif" to the
filename even if the filename already has that extension,
i.e. it does not check to see if the filename already has the
extension appended to it.