reworked samples/html.js. Uses now a webserver for output