Infrastructure for rule parser.
Started to parse configuration.
Small changes to the disambiguation filters to work with the new AST format.
Reporting proper location information for configuration terms.
Parsing rules also.
Excluding for now the newparser tests since I'm working on parsing rules.
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
Fixed substitution.
Refactorings and documentation
Throwing error if no sort exists when checking subsorts.
fix race condition with substitution
stop flattening terms that can't be disambiguated by concretization
fix smtlib with no prelude
add java backend version of builtin modules
fix search with multiple results per term
remove undesirable files from samples/java_rewrite_engine directory