added first coverage stuff. random string generator added. mapping from xml to xmt datatypes moved to annotation-part, renamed the SMTLIBParser (see next commit).
renamed SMTLIBParser