fix(tools): abs is not hooked up from parser to translator
chore(travis): set timeout (580sec) for ctest to avoid travis-ci timeout (600s)
fix(opensmt/smtsolvers/SimpSMTSolver.C): dereference after null check
fix(realpaver/rp_parser.c): memory leak
fix(realpaver): add initializations
fix(realpaver/rp_stream): use strncpy instead of strcpy
fix(realpaver/rp_propagator.cpp): not use gnu extension for array init.
chore(travis): reduce timeout to 500s, exclude delta test on travis-ci
fix(realpaver/rp_container.c): remove side-effect assertion
fix(opensmt/parsers/smt2/smt2parser.yy): memory leak
chore(travis): add apt cache to .travis.yml
benchmarks: add control for quadcopter added
fix(tools/proofcheck/checker/func.ml): remove debugging info
chore(travis): fix gcc-version on OSX build (gcc-4.8.1)
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, glog, json11 as external projects
fix(dsolvers/ode_solver): add debugging message
chore(.mailmap): add .mailmap