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

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