feat: update build system

We have "build.sh" script which builds both the SMT solver written in
C++11 and tools written in Ocaml. After the build, it copies all the
binaries to "bin" directory.
feat(bin/dReach): move dReach to bin directory