Story #6135: As a user, I can export a set of repository versions to a file, and have that file saved to disk.

Story #6135

API: https://hackmd.io/HLptudH9R6S4PCmm8nRmmg#API-Specifics---working-with-Exports