adding some 'debug' functions/productions used (temporarily) by the ADT extension, also extending the Driver to allow include file directory to be set.