Simple Python timing module