[galaxy-commits] commit/galaxy-central: jgoecks: When exporting a history archive, use user dataset names rather than Galaxy dataset names. Fixes #680