TS-2932: specify the build number at build time

Add a --with-build-number configuration option so that this can be
published in proxy.node.version.manager.build_number and
proxy.process.version.server.build_number.