RepoView: add support for deleting a cache file

The user should be able to quite easily delete a cached file, so
add menu option to delete the cache file if a file is cached on the
device by seafile.