Add pytool.time.Timer.
Release 3.1.0.