scripts for configuration management, continuous integration, containers (docker!)

gdm85 74ee17c3ae * a few improvements		2015-01-14 10:48:05 +01:00
docker-scripts	* a few improvements	2015-01-14 10:48:05 +01:00