fix(CMakeLists, bin/dReach): use dReal instead of solver
feat(CMakeLists): add packaging via cpack
fix(CMakeLists): add static support for OS X