v0.8.13

This release fixes the regressinos introduced in the previous 2
versions:

* Reloading the page in an unstarted lobby now correctly shows the
  "start" dialog instead of "game over"
* The menu is now usable on chromium (temporary workaround? lol)
* Graceful shutdown is functional again