docker: Use libpython3-dev instead of python3-dev
docker: Use libpython3-dev instead of python3-dev

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