Getting herdtool7 ready

[Sebastian Andrzej Siewior]

Hi,

I just pushed my herdtools7 packaging to
        https://salsa.debian.org/ocaml-team/herdtools7

Does anyone want to look over it before I try to clear NEW?

Sebastian