Docker image configurations for basic development tools