refactor krun options to use JCommander
rename krun.Main -> KRunFrontEnd
bugfixes for krun options
temp
added a check and better error message
Merge branch 'unified-builtins2' into krun-options

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/BuiltinFunction.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/SymbolicConstraint.java
	src/javasources/KTool/src/org/kframework/backend/unparser/UnparserFilterNew.java
	src/javasources/KTool/src/org/kframework/compile/transformers/FlattenTerms.java
	src/javasources/KTool/src/org/kframework/kil/loader/Context.java
	src/javasources/KTool/src/org/kframework/utils/BinaryLoader.java
	tutorial/1_k/2_imp/lesson_1/tests/config.xml
temp
Merge branch 'unified-builtins2' into krun-options

Conflicts:
	build.xml
	src/javasources/KTool/src/org/kframework/compile/transformers/FlattenTerms.java
	src/javasources/KTool/src/org/kframework/krun/Main.java
fix compile error in test
fix copyright
Merge branch 'unified-builtins2' into krun-options

Conflicts:
	src/javasources/KTool/src/org/kframework/krun/Main.java
	src/javasources/KTool/src/org/kframework/ktest/Test/TestCase.java
replace --definition back with --directory
fix --directory in compile to --output
fix config xml with single hyphen
Merge branch 'unified-builtins2' into krun-options
Merge branch 'unified-builtins2' into krun-options
fix more tests that ktest no longer supports
Merge branch 'unified-builtins2' into krun-options

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/kil/KItem.java
	src/javasources/KTool/src/org/kframework/backend/java/kil/Term.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/JavaSymbolicKRun.java
	src/javasources/KTool/src/org/kframework/krun/K.java
	src/javasources/KTool/src/org/kframework/krun/Main.java
revert changes to tests with no $PGM
make unused configuration variable a warning and not an error