add a banner to the debugging messages, listing also the compile time options