Add an opam file

Because of autoconf, the dev repository is not pinnable in opam. This opam file (which is directly copied from the opam repository) fixes this.