JSON style communications server-client, plus some style improvements in output window
Merge branch 'master' of https://github.com/bvdelft/spin-web