Updated server for new express/socket.io
spelling
Updates to use a plain websocket for streaming, updates to some package formula, instrumented the include_file usage