refactor java backend to use more dependency injection
fix code review comments
fix Yilong's comments
verification fixes for MInt
Merge branch 'unified-builtins2' into javaoptions3

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/indexing/IndexingPair.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
remove lemma which was needed only by a bug
Merge pull request #879 from dwightguth/mint-verification

verification fixes for MInt
Merge pull request #862 from dwightguth/javaoptions3

refactor java backend to use more dependency injection
strongly type attributes