Fix Dockerfile and docker instructions;

4 jobs for fix-docker in 6 minutes and 44 seconds (queued for 1 second)