Remove unix variant of Hermit

This code has been dead for a few years now.

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>

Author: mkroening