Simple network time for simple Python programs