New function get_files_by_extension().

This function searches for files with specific extensions in a
directory. This allows us to get rid of two FIXME tags (unnecessary
calls to exec()).