Docker resuscitation

Description

Revives the docker runner.

Changes

• Changed the docker api address to support running in the k8s cluster
• Re-introduced some features needed by docker (most notably the job options)

Additions

Test and Review

To be filled in by the reviewers

• All of the methods are commented to expectation

• The methods are tested to satisfaction

• There are no unnecessary files present in the MR

• The continuous integration has no problems with the MR

• The MR is filled in as requested (including labels, milestones, and reviewers)

• The documentation is up-to-date

• All nullable parameters are marked as such

core/src/main/java/nl/tudelft/ewi/auta/core/controller/AssignmentController.java

@@ -203,12 +203,24 @@ public class AssignmentController extends ControllerBase {
 
         assignment.setName(name);
         assignment.setAllowedLanguages(Collections.singleton(lang));
-        assignment.setMetricSettings(stat.stream().map(o -> new MetricSettings(
-                MetricName.valueOf((String) o.get("name")),
-                (String) o.get("script"),
-                (String) o.get("formatter"),
-                0,
-                0
-        )).collect(Collectors.toUnmodifiableSet()));
+        assignment.setMetricSettings(stat.stream().map(o -> {
+            if (MetricName.valueOf((String) o.get("name")) == MetricName.DOCKER_LOGS) {
+                return new MetricSettings(
+                        MetricName.valueOf((String) o.get("name")),
+                        (String) o.get("script"),
+                        (String) o.get("formatter"),
+                        0,
+                        0,
+                        (String) o.get("dockerfile")
+                );
+            }
+            return new MetricSettings(
+                        MetricName.valueOf((String) o.get("name")),
+                        (String) o.get("script"),
+                        (String) o.get("formatter"),
+                        0,
+                        0
+                );
+        }).collect(Collectors.toUnmodifiableSet()));
     }
 }