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
Implementing the Maude part of fresh generation.
Adding test back to regression testing.
Merge pull request #510 from kframework/unified-builtins-fresh

Unified builtins fresh - Maude version
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
enhanced builin equality for symbolic terms
Merge pull request #497 from dwightguth/floats

Floats
add linux 32 bit mpfr
minor refactoring: extract local variable
made SymbolicConstraint#Equality immutable

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/SymbolicConstraint.java
minor