Use dump of current revisions instead of full dump

The smaller files are faster to download and process, and they
do not grow so strongly. They are now used in the export script
by default, which can be overwritten by the option --no-current.