update opam file

Merge branch 'master' of github.com:plclub/metalib

Version update

update readme

Updated for Coq 8.5 (merged in `namespace`)

Tagging version that should compile with Coq < 8.5.