New mavenous things
Merge remote-tracking branch 'marc/intellij' into intellij

Conflicts:
	BinaryMaxSum.iml
	pom.xml
maven
disabled verbose logging for tests.
Implemented new factor. ImplicationFactor.