A tiny library for manipulating time with timezones