doc(README.md): Update Python section
doc(README.md): Update Python section

[skip ci]
dreal/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4