Docker images for software development