added two patches allowing to have isabelle why why3 in frama-c + fix why.2.31 isabelle output
added mode + added var for default options + return to Store model
some lemma + reintroducing spec of str_cmp