Export file name: Allow users to enter a filename when exporting a file

There is a corresponding pull request in the intermine project.
https://github.com/intermine/intermine/pull/885