Merge branch 'master' into unified-builtins2

Conflicts:
	tests/config.xml
add floats to java rewrite engine
fix copyright
fix java logik to use regex
Merge branch 'unified-builtins2' into floats

Conflicts:
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/append-4.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-fast-palindromes-1.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-slow-palindromes-1.logik.out
	tests/regression/config.xml
fix logik regex tests
fix code review comments
update jar
update mpfr-java to include bugfixes
Merge branch 'unified-builtins2' into floats

Conflicts:
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/append-4.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-fast-palindromes-1.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-slow-palindromes-1.logik.out
	src/javasources/KTool/src/org/kframework/backend/java/builtins/BuiltinStringOperations.java
throw an error exception when the Java backend compiler get confused on compiling data structure
Merge pull request #497 from dwightguth/floats

Floats
minor refactoring: extract local variable
Merge pull request #514 from yilongli/unified-builtins2

emit error message when Java backend compiler get confused
refactoring hashCode method
fixed a minor issue in plugin.xml that gives an error in Eclipse
refactoring: extracted the hashCode caching mechanism to Term and let subclasses to override computeHash() instead
refactored ConstrainedTerm to derive JavaSymbolicObject instead of Term
resolved new changes in the branch