Add export.sh: script for exporting the whole build root, with or without downloadable files.