add ==K for Bags
change to ==Bag
fix return type of String2Base
Merge pull request #639 from dwightguth/base2string

fix return type of String2Base
add better evaluation trace in case of stack overflow
add naive duplicate recognition to trace algorithm
Merge pull request #641 from dwightguth/stacktrace

add better evaluation trace in case of stack overflow
Merge pull request #638 from dwightguth/bags

add ==K for Bags
added builtin size operation for collections

Conflicts:
	include/builtins/list.k
	include/builtins/map.k
	include/builtins/set.k
progress on heap patterns
updated SpecificationCompilerSteps to reflect the changes in FlattenSyntax

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/SpecificationCompilerSteps.java
updated JavaSymbolicKRun#proveRule

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/JavaSymbolicKRun.java
removed commented out code
changed machine integers to work better in the symbolic case

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/KILtoZ3.java
forgot mint.k file

Conflicts:
	include/builtins/mint.k
added concatenate and extract on bitvectors
minor style change
minor style changes and fixing some merge issues
comments and copyright added
changed RuntimeException to UnsupportedOperationException in SymbolicConstraint