first draft of ktest refactorings, might not pass tests yet
try to fix tests
fix checkstyle errors
fix test xml because it's apparently ridiculous
fix bug with =
Merge branch 'master' of github.com:kframework/k into ktest
java 6 hasn't worked for a while now; deleting
Partial strictness for KLabels.
Refactoring to reduce warnings
Added test to test suite.
Merge pull request #310 from dwightguth/java6

java 6 hasn't worked for a while now; deleting
Merge pull request #295 from dwightguth/ktest

Refactor ktest to clean up some irregularities
Fix regular expression. Adding the "|" operator to Token to allow for String declarations.
Removing the old commits of the parser to prepare for the one time code review.
Merge pull request #316 from kframework/newparser-blankslate

Removing the old commits of the parser to prepare for the one time code review.
Added task to remove Promela parser generated files.
Merge pull request #320 from kframework/remove-promela-parser-files

Added task to remove Promela parser generated files.
Adding regression test for lexical extension.
Revert "Adding regression test for lexical extension."

This reverts commit 9f3e097468c458e6a42ea038d28da6af5a3d1556.
Merged strictness tests.