minor
minor
minor
Added threading possibility to `Worker` in `sphinx.py`
Enabled proper cleanup upon CTRL+C