fix a bug in string engine.
add cardinality for characters
make string loop detection working
add regression test for strings
Fix some string bugs.

Merge remote-tracking branch 'official/master'

Conflicts:
	src/theory/Makefile.am
	src/theory/theory_engine.cpp
	test/regress/regress0/Makefile.am
addition of my stuff
example