New websocket server binary for linux (x86) that keeps working after short MQTT messages like pings. Fixes #117. OSX and Raspberry Pi binaries will follow soon