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
Merge pull request #497 from dwightguth/floats

Floats
Merge pull request #514 from yilongli/unified-builtins2

emit error message when Java backend compiler get confused