Merge branch 'master' of git.se.informatik.uni-kiel.de:she/theodolite

execution/README.md

execution/lib/cli_parser.py

execution/lib/trend_slope_computer.py

execution/run_uc.py

execution/strategies/config.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

execution/theodolite.py