torirc.py: Better TOR startup handling