doc(osx-gcc.md): add pkg-config requirement

[skip ci]
feat: add build-dreal, build-dreach script
feat: add build-dreal, build-dreach script