git revision number output to trace & monitor.txt (if defined)