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.
Didn't know this filter existed, nice.