feat: add build-dreal, build-dreach script