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 pull request #638 from dwightguth/bags

add ==K for Bags
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
changed machine integers to be more amenable for symbolic computation
Merge pull request #643 from dwightguth/mapsetlist

remove Set, List, Map classes
fix variable names
Merge pull request #650 from andreistefanescu/machine_integers_change

changed machine integers to be more amenable for symbolic computation
fix another comment
fix some maude stuff + add tests for it
Merge pull request #649 from dwightguth/lub

add getMinimalUpperBounds to Poset
Enforcing failback to syntactic equality for set difference and free vars computation.
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.
fix some bugs in ListBuiltin