docker

Docker images for various software.