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

.gitignore

README.md

deploy.sh

expose_ingress_grpc.sh

install_requirements.sh

manifests/nginx_ingress_http.yaml

manifests/webuiservice.yaml

my_deploy.sh

proto/automation.proto

proto/context.proto

proto/context_policy.proto

proto/policy.proto

proto/policy_action.proto

proto/policy_condition.proto

proto/uml/pathcomp.png

proto/uml/policy.png

scripts/old/configure_dashboards_in_kubernetes.sh

scripts/old/deploy_in_kubernetes.sh

scripts/report_coverage_all.sh

scripts/run_tests_locally-compute.sh