.gitignore: update; _oasis: minor change; create_opam_package.bash: use oasis2opam