a docker image with some development tools installed