Bug#876533: hol-light FTBFS with OCaml 4.05.0

[Hendrik Tews]

Upstream does indeed fix this problem. However, it also contains
a few files with unclear license and copyright, currently
preventing to package it. I am trying to solve these license and
copyright issues with upstream.

Hendrik