different settings of the cardiact model
cardiac: update .drh to remove '%%'
new_cardiac: delete intermediate file
add ODE visualization back
update new_cardiac_stim_1.drh
updated
Merge branch 'master' of bitbucket.org:scungao/dreal2

Conflicts:
	benchmarks/hybrid_systems/cardiac/new_cardiac_stim_1.preprocessed.drh
updated
update new_cardiac_stim_2.drh
new_cardiac_stim_3 has 1 free parameter EPI_TO1, new_cardiac_stim_simple is a simplified version
chemistry
no %%
cardiac model with 8 modes
Merge branch 'master' of bitbucket.org:scungao/dreal2
cardiac: new invariants on u
cardiac: new goal (u >= 1.5)
bmc: bugfix, print_infix_exp with Neg e
cardiac: add invariant to 8m model
prostate: remove %%
cardiac: change the goal in new_cardiac_8m.drh