Merge branch 'release/0.1.2' into develop
so release 0.1.2 is behind us, next one might be 0.1.3
Merge branch 'hotfix/0.1.3' into develop

Conflicts:
	pom.xml
clean-up: property prefixes "sesame.repo.contexts.*" changed into
"sesame.contexts.*"
added possibility to enable and configure RDF dumps via
sesame.rdf_dump.<serializer key>=<filename>
ignore /target/ subdirectory
Merge branch 'feature/file_dumps' into develop
release 0.1.4
Merge branch 'release/0.1.4'