cleanings
don't over-release

(that code was never hit anyway)
safety belts
retry the offset command if we got an expired command

+ minor cleanings
updated libhl
build the benchmarking tool in the 'dynamic' target
allow to dump the stats into a csv file

+ cleanings