Docker-development

Development tools in docker

use ./run.sh init in each of the project directories that you want to use

to override the default settings use a file env.shinc