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