Added WebSocket.receiveBinary() and receiveText() to replace the non-explicit receive(). Fixes #182.

Also changed the example to use readText().
Removed a left-over getch() call.