Using websockets to update a browser page

[davidg238]

A toy sample, cobbled together from the existing server and websocket samples.
It show a device generating a webpage and updating the page after user interactions, without a manual page refresh.

• Open a console to your device with jag monitor -a
• Run the code with jag run server_counter.toit
• Copy the address printed on the console to the browser

https://gist.github.com/davidg238/2e866e4ebec12d9e762b3a1282ad2ece