This is a major refactoring and consolidation of the Docker image
generation logic. It eliminates a great deal of repetition, resolves
several inconsistencies, and makes the Docker images significantly more
maintainable.