Henry/pre-build workspace dependencies in dev Docker images#1107

Henrp wants to merge 1 commit into

mainasuc-octo/berkeleytime:mainfrom

fix/docker-dev-prebuildasuc-octo/berkeleytime:fix/docker-dev-prebuildCopy head branch name to clipboard