remove duplicate entry from .gitignore
modernize opam file