Add some missing files to the arXiv tarball