eliom.4.1.0 uses opam 1.2 format
Merge pull request #2963 from samoht/1.2

eliom.4.1.0 uses opam 1.2 format