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 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.
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.
Merge branch 'master' into options

Conflicts:
	samples/java_rewrite_engine/tutorial/1_k/2_imp/tests/config.xml
	samples/java_rewrite_engine/tutorial/1_k/4_imp++/tests/config.xml
	tests/config_java.xml