testing, issue #1800: separate test_docker.sh code from Dockerfile.