Merge pull request #24 from andrejbauer/vv-master-for-coq8.4pl3patched

Vv master for coq8.4pl3patched