feat(opensmt/smtsolvers/SMTConfig): add "--ode-timeout" option
benchmarks(bing_example/prostate): update Makefile
benchmark(hybrid_systems/quad): add quadcopter model
fix(tools/simple-bmc): add () to sin/cos... functions
fix(dsolvers/icp_solver): roll back to rp_selector_existence
add test to quad bench
update icp & ode