tests(nra_ode): add Fedor's smt2s
benchmarks(hybrid_systems/crazyflie/stabilize.drh): add stabilizer.drh
fix(opensmt/egraph/Enode.C): update print_infix func to add parens for
the arg of pow function

CAPD generates a parsing error when it encouters

    x ^ -3

and asks us to provide

    x ^ (-3)
feat(cmake): add gflags and glog as external projects
fix(dsolvers/ode_solver): add debugging message
feat(cmake): add Dropbox's Json11
chore(.mailmap): add .mailmap
feat(minisat): add Minisat(Github version 37dc6c67, 2013 Sep)
checkpoint

TODO:

 - clause_new
 - Heap.filter