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
Made it so timing.log is opened each time I want to write something in it.
Since this is called only when --debug is provided to kompile, it shouldn't be a time penalty for normal usages.
Using try with resources. Forgot that java has them.
Merge pull request #492 from kframework/fix-timing-log

Made it so timing.log is opened each time I want to write something in it
Merge pull request #321 from yilongli/master

added option --pattern-matching to use pattern-matching instead of unification to drive Java Rewrite Engine