docker: add a Docker build environment