Merge branch 'master' into feature/runUcPython

.gitignore

.gitlab-ci.yml

docs/release-process.md

execution/README.md

execution/lib/__init__.py

execution/lib/trend_slope_computer.py

execution/strategies/__init__.py

execution/strategies/config.py

execution/strategies/experiment_execution.py

execution/strategies/strategies/config.py

...ies/strategies/domain_restriction/lower_bound_strategy.py

.../strategies/domain_restriction/no_lower_bound_strategy.py

...on/strategies/strategies/search/binary_search_strategy.py

execution/strategies/strategies/search/check_all_strategy.py

...on/strategies/strategies/search/linear_search_strategy.py

...egies/subexperiment_evaluation/subexperiment_evaluator.py

...ategies/subexperiment_execution/subexperiment_executor.py

execution/strategies/tests/.gitignore

execution/strategies/tests/__init__.py

...s/tests/test_domain_restriction_binary_search_strategy.py