Export As for gs3
exporting a collection from gli in gs3 doesn't work.
check that export.pl works for gs3.
Then make it work in gli.
I have hidden the export menu item for gs3, see gui/MenuBar.java