removes some junks
bug fix in strings : change from assert to  alwaysassert
performance optimizations for quantifier instantiation
Merge branch 'master' of github.com:tiliang/CVC4
renames for strings fmf
adds fmf for strings