refactor krun options to use JCommander
rename krun.Main -> KRunFrontEnd
bugfixes for krun options
temp
minor change to reduce the amount of stat'ing done at compile time
Merge pull request #646 from owolabileg/master

minor change to reduce the amount of stat'ing done at kompile time
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
Shell script fixes to quote "$0" properly in case it includes spaces.
Backslash-escape special characters in Maude "load" commands.

In particular, this is needed when working with files in directories
containing spaces.  Backslash-escaping in this manner is supported by
Maude 2.4 or later, per <http://maude.cs.uiuc.edu/versions/2.4/Changes>.
Oops, fix some mangled quoting that slipped into c9344e5ee40ceb48c500f9b9c200ba2d34720cd0.
Change tabs to spaces, per K project's preferred style.
Merge pull request #657 from liblit/master

Tool fixes to handle spaces in file paths
Minor documentation fix: add missing "\" at start of LaTeX macro.
Docs fix: "types" helper function is actually named "getTypes".
Merge pull request #665 from liblit/master

Minor documentation fixes for SIMPLE static typing tutorial.
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