Remove HAL

Its since long deprecated, even if its a nice memory of one of my first contributions its time to kill the baby :)