.gitignore: index.tar.gz and urls.txt (generated by opam-admin)
Merge pull request #2515 from planar/gitignore-index-urls

.gitignore: index.tar.gz and urls.txt (generated by opam-admin)