fix code for computing least sort of KItems
Merge pull request #635 from dwightguth/kitem

fix code for computing least sort of KItems
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
fixed List syntax issue from merging
fixed mint.k (again)
fixed wrong output for machine integer test
more progress on heap patterns
reverse loop invariant proved (in simple, without sequence constraints)
reverse verification files (in simple)