Patch for Issue #425.
Removing brackets for <br/> as they can be specified using normal brackets.
put --directory parameter back to ktest error reporting(see #518 for issue, #295 breaks this)
fix exception reporting in ktest ( fixes #485, #407 and probably others )
don't fill filename and location arguments for KException
add --debug parameter to ktest and print stack traces only when that's used
add a line of documentation
replace some strings with constants for uniformity
check for --debug parameter when CLI parsing failed
fix windows backslash escaping
KTEST: add it to manual how to skip steps
Merge pull request #522 from osa1/more-ktest-issues

fix exception reporting in ktest
Merge pull request #521 from osa1/ktest-issues

fix for #518
update to latest version of jansi
Merge pull request #532 from kframework/ktest-issue-504

KTEST: add it to manual how to skip steps
Merge pull request #538 from dwightguth/jansi

update to latest version of jansi
Merge pull request #434 from kframework/latex-br-fix

Patch for Issue #425