hol-light is marked for autoremoval from testing

[Debian testing autoremoval watch]

hol-light 20170109-2 is marked for autoremoval from testing on 2017-10-22

It is affected by these RC bugs:
876533: hol-light: hol-light FTBFS with OCaml 4.05.0