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
Fixing some examples:
   - made maude ignore regex attribute from syntax
   - made the 07-conslist example use the efficient implementation of the lists.
   - fixed the regression/unparsing issue use the correct KLabel declaration
Merge branch 'master' into parser-priorities2