Enable setting domain restriction from theodolite.yaml

In the theodolite yaml one was not able to set the domain restriction. This is now enabled.

execution/lib/cli_parser.py

@@ -125,6 +125,8 @@ def benchmark_parser(description):
                         help='[mandatory] List of instances used in benchmarks')
     parser.add_argument('--domain-restriction',
                         action="store_true",
+                        default=os.environ.get(
+                            'DOMAIN_RESTRICTION', 'false').lower() == 'true',
                         help='To use domain restriction. For details see README')
     parser.add_argument('--search-strategy',
                         metavar='<strategy>',