remove cell
fixed missing hashCode and equals
Merge branch 'master' of https://github.com/kframework/k into remove_cell

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
removed bagitem
minor fix
fix to translation from the java backend to single cells
Merge remote-tracking branch 'upstream/master' into remove_cell
removed accidentally added file
addressed Yilong's comments
addressed Dwight's comment
Merge pull request #1230 from andreistefanescu/remove_cell

Remove cell class