fix ktest log string escaping
delete QuoteHandling
Merge pull request #445 from dwightguth/ktest

fix ktest log string escaping
add dependence on git for checkstyle-copyright
fix case if git is not present
fix whitespace
Merge pull request #474 from dwightguth/checkstyle-copyright

add dependence on git for checkstyle-copyright
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,