time manipulation utilities for python