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
included btrace jars
included BTrace script used to profile Java KRun; minor refactorings to ease the writing of BTrace script or circumvent BTrace bugs
excluded BTrace script from build process; added javadoc for package profile
fixed a bug introduced in preivous commit where I removed a "System.exit(0)" in krun.Main
moved btrace script under src/main/btrace to follow maven structure
Merge pull request #304 from yilongli/master

included BTrace script for profiling Java KRun
included BTrace script used to profile Java KRun; minor refactorings to ease the writing of BTrace script or circumvent BTrace bugs
restructured things related btrace scripts
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.