automatically import time in pythonrc.py