fix(CMakeLists, bin/dReach): use dReal instead of solver
feat(CMakeLists): add packaging via cpack
fix(CMakeLists): add static support for OS X
fix(opensmt/egraph/Enode.C): use fixed notation in print_infix
fix(realpaver/rp_constant): respect 'out' when display
chore(dsolvers/ode_solver.cpp): add debug message