Add option to get_config.py to insert HLT timing into configuration file