Deleting auto-generated files, updating OPAM.