remove symbolic backend, kagreg, kcheck, gui debugger
delete simulation (except for bare bones needed in order to test robot legs)
fix permissions on k release
incorrect file permissions last time
remove .project from k-core

we can have the external tool builder commited, but having also the .project creates one extra item to ignore manually, as it remains tracked
and ignore .project
mpfr to version 1.0.1
Merge pull request #1025 from dwightguth/assembly

fix permissions on k release
Merge pull request #1027 from cos/hotfix/remove-dot-project

remove .project from k-core
Merge pull request #1028 from cos/hotfix/mpfr_pom

mpfr to version 1.0.1
Merge pull request #1022 from dwightguth/delete-stuff

Delete stuff
update pom to allow cross platform compilation
Merge branch 'master' into smt

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/ksimulation/Adjuster.java
	k-core/src/main/java/org/kframework/backend/symbolic/AddPathCondition.java