chore(travis): update secure tokens to migrate to dreal/dreal

Shortcut model assignment in SMT

feat(solver): Added flags for short_sat and enabled ICP to stop if constraint is SAT even if width is not small enough

Shortcut model assignment in SMT
feat(opensmt): implemented --short_sat flag
feat(test): added short_sat to testing

missed

missed

missed