Bug#876533: hol-light FTBFS with OCaml 4.05.0

[Hendrik Tews]

I have a look at it, hopefully a new upstream version will fix
the problem.

Hendrik