fix(tools/proofcheck/proofcheck.sh): fix dreal path
fix(tools/proofcheck/checker): increase interval output precision
fix(tools/proofcheck/checker/ptree): improve branch exception explanation
fix(bin/dReach): have better output messages
chore(.mailmap): update & clean up
fix(ode_solver): polarity check for invariants was succeeeding for negative invarinants
minor change on readme etc.
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
feat(tools/proofcheck/checker/lexer.mll): add support hex rep. of float number
fix(opensmt/parsers/smt2/smt2lexer.ll): support dos-style newline

close #16.
fix(opensmt/parsers/smt2/smt2lexer.ll): add support unary minus '~'

close #17.