some fixes; added server tools project
Merge branch 'master' of https://github.com/MartinGeisse/stackd