[Python-Dev] proposal: add basic time type to the standard library