Shutdown signal handlers, take 2

Now, both SIGINT (CTRL-C) and SIGTERM (docker stop) lead to a clean shutdown, with exit code 0.