Bump OCaml version and fix some comments#178

Kakadu merged 2 commits intoPLTools:masterPLTools/OCanren:masterfrom

ProgMiner:bump+commentProgMiner/OCanren:bump+commentCopy head branch name to clipboard