local opam files

so that pinning is possible
Merge pull request #122 from rgrinberg/master

local opam files