A development environment based on docker