Remove .git from dev-repo in opam.
Fix license notice.