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
new cache checkpoint