Log display

- use SSE intead of WebSocket to stream server log
- various tweaks and improvement of log messages