File extension now preserved in det_depends.c

To accomplish, added get_file_extn() in filesys.h, which gets the file
with its extension (if any, and not a folder) given a directory and a
name.