Updates camlp5 6.11 -> 6.12
hol_light: update to r199

And adds compatibility with camlp5-6.12
coq-containers: package is broken
Merge pull request #4342 from vbgl/camlp5-6.12

Camlp5: update to 6.12; hol-light: update to r199