A development environment in a docker container