VLC updates, and some infra bugs fix

evaluation_examples/examples/vlc/8d9fd4e2-6fdb-46b0-b9b9-02f06495c62f.json

@@ -1,12 +1,28 @@
 {
   "id": "8d9fd4e2-6fdb-46b0-b9b9-02f06495c62f",
   "snapshot": "base_setup",
-  "instruction": "Make the video window whole-screen",
+  "instruction": "Can you make the video fill up the whole screen? It's a bit too small to see right now, and I'd like to see it better.",
   "source": "https://www.youtube.com/watch?v=XHprwDJ0-fU&t=436s",
-  "config": [],
+  "config":  [
+    {
+      "type": "launch",
+      "parameters": {
+        "command": "vlc"
+      }
+    }
+  ],
   "trajectory": "trajectories/",
   "related_apps": [
     "vlc"
   ],
-  "evaluator": "evaluation_dir"
+  "evaluator": {
+    "func": "is_vlc_fullscreen",
+    "expected": {
+      "type": "vm_window_size",
+      "app_class_name": "vlc"
+    },
+    "result": {
+      "type": "vm_screen_size"
+    }
+  }
 }