Add the possibility to run a web server for the web socket interface.

One problem here that I didn't solve yet is that this hardcodes the websocket
port to 8000. It can be changed by modifying playing.html locally but ideally
you should not need to do that...
Write installation instructions for Linux in README.md.

I hope those instructions are correct. I didn't actually test them. I better
not tell anyone.