refactor krun options to use JCommander
rename krun.Main -> KRunFrontEnd
bugfixes for krun options
temp
added a check and better error message
fix for unification.k
remove Set, List, Map classes
fix copyright
Fix and test for ArrayIndexOutOfBounds in UnparserFilterNew pretty mode
Updated ! with ?
Merge branch 'unified-builtins2' into issue-607
fix code review comments
fix tests
fix copyright
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
add getMinimalUpperBounds to Poset
fix code style
Merge pull request #648 from bmmoore/unified-builtins2

Fix and test for ArrayIndexOutOfBounds in UnparserFilterNew pretty mode
fix serialization bug