Removing inclusion of halt.h
Several files used to include halt.h even though this was not necessary. The inclusion has therefore been removed