doc(README.md): Add a section for Docker
doc(README.md): Add a section for Docker

[skip ci]

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