indexing: some progress towards indexing io rules.
Merge remote-tracking branch 'origin/indexing' into indexing

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/indexing/pathIndex/PathIndex.java
	src/javasources/KTool/src/org/kframework/backend/java/indexing/pathIndex/visitors/HeatingRuleVisitor.java
	src/javasources/KTool/src/org/kframework/backend/java/indexing/pathIndex/visitors/TermVisitorGeneral.java
indexing: local.imp now works with indexing, modulo i/o rules
indexing: first attempt at dealing with i/o rules. locals.imp from imp++can now run with indexing