Add colors to benchmark.py
Add timers, print timer, cleanup
Add VERSION number
Parse more timers