doc(README.md): Add instructions for building .deb
doc(README.md): Add instructions for building .deb
dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4