Quick python timer example