Add an admin-script for 1.2 -> 1.1 opam file conversion