wadindex: issue #87: query for File objects by path/filename

- Use 'get_file_by_path' to retrieve the file ID for a file object
  from the database
Database: issue #87: implement get_file_by_path()