local opam file

to allow for pinning
Merge pull request #13 from rgrinberg/master

local opam file