Merge branch 'master' into develop

Conflicts:
	algorithms/dhc/pom.xml
	algorithms/discrimination-tree/pom.xml
	algorithms/features/pom.xml
	algorithms/kearns-vazirani/pom.xml
	algorithms/lstar-baseline/pom.xml
	algorithms/lstar-generic/pom.xml
	algorithms/nlstar/pom.xml
	algorithms/pom.xml
	algorithms/ttt/pom.xml
	archetypes/complete/pom.xml
	archetypes/core/pom.xml
	archetypes/pom.xml
	archetypes/typical/pom.xml
	build-tools/pom.xml
	core/pom.xml
	distribution/pom.xml
	drivers/basic/pom.xml
	drivers/mapper/pom.xml
	drivers/pom.xml
	eqtests/basic-eqtests/pom.xml
	eqtests/pom.xml
	examples/pom.xml
	filters/cache/pom.xml
	filters/pom.xml
	filters/reuse/pom.xml
	pom.xml
	simulator/pom.xml
	test-support/learner-it-support/pom.xml
	test-support/learning-examples/pom.xml
	test-support/pom.xml
	utils/acex/pom.xml
	utils/counterexamples/pom.xml
	utils/parallelism/pom.xml
	utils/pom.xml

Author: misberner