build-server-tools: automate builds

For use in git post-receive hook to build and install server-tools on push.