Update Dockerfile, scripts/10-docker-default.ini,...

Update Dockerfile, scripts/10-docker-default.ini, scripts/docker-entrypoint.sh, scripts/run, scripts/vm.args, download.json, licenses/LICENSE files