fix nontermination bug if loading definition in maude had errors
Merge pull request #476 from dwightguth/maudetask

fix nontermination bug if loading definition in maude had errors
Fixing issue #475. I've made a change a while back to fix latex, but that broke warning reporting for typed variables.
Added JUnit that tests both positive and negative cases.
Forgot to add the copyrights comment.
Merge pull request #478 from kframework/untyped-var-fix

Fixing issue #475. I've made a change a while back to fix latex,
fix issue #481
Merge pull request #483 from dwightguth/ltl

fix issue #481
Fixing issue #428.
   - errors found in VariableTypeInference were reported immediately instead being thrown further.
   - fixed some typos.
added Java implementation for builtin string ops: replace/replaceAll/replaceFirst/countOccurences
Adding regression test and fixing some inconsistencies in krun.
Merge pull request #486 from kframework/fix-is428-noparse

Fixing issue #428.
changed to use StringUtils in the implementations of replace/replaceAll/replaceFirst; added Javadoc
Merge pull request #487 from yilongli/fix-string-op-replaceAll

fixing issue #456
Merge branch 'master' into unified-builtins2

Conflicts:
	tests/config.xml