docker(Dockerfile): Update python3 build
docker(Dockerfile): Update python3 build

dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,soonho-tri/dreal4