Python logging

I propose this change to Python's logging system for more flexibility. I hope this doesn't break any existing scripts that are parsing the logs. I can re-add the old LogObserver for backward compatibility, if needed.

Now, everything is coloured in either red (stderr), or green (stdout), but we can improve this later (e.g., separate SSH from local stuff).