A docker-dev python environment