Gracefully shutdown the server.

When sending keyboard interrupt to the main thread, gracefully shutdown
all other threads. Also periodically send events to client, to make sure
the connection is still alive.

Add --debug flag to enable the debug mode for the web-server.
Add support for syntax highlighting using Pygments.

Uses the default css style that comes with Pygments.
Update setup.py and README.rst.