Merge branch 'master' into 87-random-scheduling

.gitlab-ci.yml

README.md

.../theodolite/commons/kafkastreams/KafkaStreamsBuilder.java

application-kafkastreams-commons/src/test/java/.gitkeep

benchmarks/.gitlab-ci.yml

benchmarks/.settings/org.eclipse.jdt.ui.prefs

benchmarks/.settings/qa.eclipse.plugin.checkstyle.prefs

benchmarks/.settings/qa.eclipse.plugin.pmd.prefs

...n-kafkastreams-commons/.settings/org.eclipse.jdt.ui.prefs

...eams-commons/.settings/qa.eclipse.plugin.checkstyle.prefs

...afkastreams-commons/.settings/qa.eclipse.plugin.pmd.prefs

benchmarks/application-kafkastreams-commons/build.gradle

...va/theodolite/commons/kafkastreams/ConfigurationKeys.java

.../theodolite/commons/kafkastreams/KafkaStreamsBuilder.java

benchmarks/build.gradle

benchmarks/config/README.md

benchmarks/config/checkstyle-suppression.xml

benchmarks/config/checkstyle.xml

benchmarks/config/eclipse-cleanup.xml

benchmarks/config/eclipse-formatter.xml