RefExtract: convert arxiv urls to report numbers