add gwt super-dev command log
Add log/show menu
Show list of nodes. Add link to node log
Show log tail
monitor log of multiple hosts
Tweak log style
edit html
Merge branch 'feature/webui' into develop