Extend matching for trigDumpTimers
trigDumpTimers.py
prints the mean time for any monitored algorithm (information usually stored in expert-monitoring.root for trigger jobs).
New functionality: match format for HLTFramework/TotalTime. Allow to ignore common timer names and just print the mean for any histogram in the file.