Merge pull request #122 from rgrinberg/master

local opam files