Docker environment
Merge branch 'master' into develop

Conflicts:
	.gitignore