Add an opam file for pinning and then use it in Travis tests for constraints