doc: Update README.md
doc: Update README.md

 - Use setup scripts
 - Update dependencies
 - Update pkg-config instructions
 - Add python binding section

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