package hol-light updated

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

Hi,

as the subject says ... I packaged a new upstream version,
deleted and added some packages. The testsuit run successfully in
15 hours.

Bye,

Hendrik