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
add ==K for Bags
change to ==Bag
add better evaluation trace in case of stack overflow
add naive duplicate recognition to trace algorithm
remove Set, List, Map classes
fix copyright
Merge pull request #641 from dwightguth/stacktrace

add better evaluation trace in case of stack overflow
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