Add a new header file with compile-time options and rename several of the debugging related options in the code.