benchmarks(simple): add ChemE benchmark (disjunct)
feat(dsolvers/icp_solver): add rp_problem display for debugging
feat(src): use namespace dreal
feat(util/hexfloat): add hexfloat to print exact/hexdecimal rep. of double number

 - std::hexfloat should do the job. However current g++ does not support
   it yet[1].
 - Instead, we use "%a" format specifier[2] + snprintf.

[1]: http://gcc.gnu.org/onlinedocs/libstdc++/manual/status.html
[2]: http://www.cplusplus.com/reference/cstdio/printf/
feat(realpaver): make c++ code-base
feat(util/interval): add util/interval class
feat(util/scoped_env): use util/interval
feat(realpaver/rp_propagator): use util/interval to print out interval in proof
fix(realpaver/rp_variable): rp_union_display_simple gets "out" param
feat(dsolvers): icp and nra solvers use util/interval