Develop a signal handler

[benedikt-voelkel]

For instance, sometimes, some processes get stuck leading to zombies. This can e.g. happen on KeyboardInterrupt.
Make sure that the entire session is properly cleaned up.

[benedikt-voelkel]

dressed by #51