In order to get rid of the tools bump, the tools can mimic the server and interpolate the version number from the output of git-describe.
Right now tools versions follow server versions, so version information can come from the server repo (with the understanding that the tools repo would also be tagged to produce stand-alone tools releases).