Docker builds do not need build numbers in workspace (#6221)

Eliminating the build number helps improve the ccache
cache hit ratio dramatically, since our command line
options to e.g. -I would bust the cache.
9 files changed