Much faster arxiv importer
(lost this commit somewhere!)