added a check and better error message
included Traian's patch
fixed imp-hoare definition
merged with unified-builtins2
fix kast --directory
Merge pull request #615 from yilongli/fixing-issue-#602

Fixing issue #602
fix copyright
add file I forgot to check in
fixed a bug in pattern matcher related to the evaluation of data structure lookup; updated tests
Merge pull request #717 from yilongli/fixing-issue-#710

Fixing issue #710
Merge pull request #716 from dwightguth/kast-options

fix kast --directory
add checkstyle check to assert that line endings are unix-style
fix multiline regex
add checkstyle check for trailing whitespace