hol-light updated

[Hendrik Tews <tews@os.inf.tu-dresden.de>]

Hi,

I packaged a new version of Hol Light. The package should go to
unstable, it builds there as well as with OCaml 4 from
experimental.

Bye,

Hendrik