A python script that converts between time zones for you