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

Travis passes now.