Docker files for building various Docker containers.