Merge branch 'develop' of https://gitlab.com/teraflow-h2020/controller into...

.gitlab-ci.yml

report_coverage_slice.sh

scripts/report_coverage_slice.sh

scripts/run_tests_locally-device-all.sh

scripts/run_tests_locally-device-emulated.sh

scripts/run_tests_locally-device-microwave.sh

scripts/run_tests_locally-device-openconfig.sh

scripts/run_tests_locally-device-p4.sh

scripts/run_tests_locally-device-tapi.sh

scripts/run_tests_locally.sh

src/automation/.gitlab-ci.yml

.../java/eu/teraflow/automation/AutomationConfiguration.java

...c/main/java/eu/teraflow/automation/AutomationGateway.java

...in/java/eu/teraflow/automation/AutomationGatewayImpl.java

...c/main/java/eu/teraflow/automation/AutomationService.java

...in/java/eu/teraflow/automation/AutomationServiceImpl.java

...c/main/java/eu/teraflow/automation/ContextSubscriber.java

...tion/src/main/java/eu/teraflow/automation/Serializer.java

...main/java/eu/teraflow/automation/SimpleLivenessCheck.java

...ain/java/eu/teraflow/automation/SimpleReadinessCheck.java