Update Docker-related build documentation