added MQTT-aware Raspberry Pi websocket server binary