change the realtime_tools header extensions (#247) #519

Job	Run time
binary_clang / rolling testing	3m 54s
binary (humble, main) / humble main	3m 26s
binary (humble, testing) / humble testing	3m 37s
binary (jazzy, main) / jazzy main	3m 29s
binary (rolling, main) / rolling main	3m 26s
binary (rolling, testing) / rolling testing	1m 30s
binary (jazzy, testing) / jazzy testing	3m 41s
	23m 3s

Provide feedback