added location and source information to Java backend Rule
temporary fix for issue 850
Merge pull request #847 from yilongli/add-loc-and-source-info-to-Java-backend-rule

added location and source information to Java backend Rule
Merge pull request #851 from yilongli/temporary-fix-for-issue-850

temporary fix for issue 850
z3 temp commit
changes to the prover to support bst find
connection to Z3 is now through smtlib compliant strings
fixed the SMT hook
fixed simplification during implication; minor fixes to the SMTLib translation
added support in the prover and lemmas to prove the bst insert, delete, and find

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/kil/Term.java
added proof files for bst insert delete and find
fixed smt_model regression test; some fixes from the merge with the main repository
fixed copyright
deleted unused import
fixed whitespaces
modify whitespace rules for data structures in unparser
fixed SMTLib translation for empty constraints
add interface for k module system
fixed config.xml for binary search tree examples
addressed Dwight's comments