Kill server on disconnect so port will be available on page reload

Fixes #7.