modified instructions and simplified them, using the various docker-run* shell scripts