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
several changes to BuiltinMap: make it immutable; use persistent hashmap internally to save time on defensive memory copying; redesign cleaner APIs for efficient operations; rename other less efficient operations which involve memory copying and mention the cost explicitly in Javadoc; reduce defensive copying in call sites