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
Merge pull request #311 from yilongli/master

move btrace script under k/src instead of KTool/src
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
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.
Java backend: added option --pattern-matching to krun
Java backend: added tag interface for data structure choice operations; fixed a related latent bug
Java backend: fixed a few bugs in SetLookup & PatternMatcher
Java backend: used GroundRewriter for run/search when option --pattern-matching is enabled
Java backend: added tag interface for data structure update operations
Java backend: used pattern-matching instead of unification when evaluating user-defined functions