and ignore .project
Merge branch 'hotfix/remove-dot-project' into develop
mpfr to version 1.0.1
Merge branch 'hotfix/mpfr_pom' into develop

Conflicts:
	k-core/pom.xml