misc/docker-setup.bash: added license
misc/docker-setup: removing shared installation stuff into external files