A (very) simple timer written in Python for time-boxed coding dojos.