Docker development containers The repository contains some useful Dockerfiles for runtime and development containers.