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
Re-generate Haskell packages with cabal2nix.
haskell-ghc-parser: re-generate with cabal2nix
haskell-sdl2: update to version 1.1.1