Add Makefile option for get-timing-stats