Update .gitignore and opam lint.