add index.tar.gz and urls.txt (generated by opam-amdin) to .gitignore