added some logging stuff
Merge branch 'dev' of github.com:IDE4edu/web into dev