no message
Merge branch 'master' of https://github.com/bkahlert/seqan-usability

Conflicts:
	.metadata/.plugins/org.eclipse.core.runtime/.settings/de.fu_berlin.imp.seqan.usability_analyzer.core.prefs
	.metadata/.plugins/org.eclipse.core.runtime/.settings/de.fu_berlin.imp.seqan.usability_analyzer.groundedtheory.prefs
	.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi
	.metadata/.plugins/org.eclipse.ui.workbench/dialog_settings.xml
	CodeStore.xml