moving opam files out of this repo