Added websocket test.
Implemented text WebSocket messages in HTML5 backend.
Simplified Java websocket implementation.

I'll take 100 lines of code over 200 any day.
WebSockets implementation for Android.

This is copy and pasted from the Java implementation. Sharing this 100 lines of
code isn't really worth adding a separate "shared by the mostly Java backends"
module.