Normalize the repository by running `opam-admin check -n`

This makes the repository format compatible with OPAM 1.1 only.