"Export To..." action

The elements of the repository now can be exported to external
directories.