Docker procedure added
Docker procedure modified (Dockerfile-less)
Merge branch 'docker'