Some cleanup for CppcheckSignalHandler, also some cosmetics for the output