Add an option to change the export file name

Problem/Motivation

Currently there is no option to change the exported file name.

Steps to reproduce

Try to export results with a different file name.

Proposed resolution

As similar export plugins have, add a new configuration option to change the file name during the export.

Remaining tasks

User interface changes

API changes

Data model changes