Send eof on destroy

[chrsmj]

The websocket can be closed more elegantly. Sending 'eof' to Vosk seems to be the current polite way to do it (per asr_server.py)