Add an entry for OCaml from the very beginning
Add Macaque and PGOcaml