websocket_demo: Allow to dynamically set the update frequency

In the HTML page we create a "spinner widget" that defaults to 2 which
you can increase/decrease and this updates the server.

Signed-off-by: Andrew Clayton <andrew@digital-domain.net>