enhanced builin equality for symbolic terms
add linux 32 bit mpfr
made SymbolicConstraint#Equality immutable

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/SymbolicConstraint.java
minor
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
Merge pull request #516 from dwightguth/floats

add linux 32 bit mpfr
Merge pull request #517 from andreistefanescu/unified-builtins2

enhanced builtin equality for symbolic terms; fix for immutable SymbolicConstraint#Equality
addressed issues in code reviews
Merge pull request #515 from yilongli/refactoring-hashCode

Refactoring hash code
pretty printer: avoid to print the ListTerminator at the end of a syntatic list
replaced *.out files with generated outputs