VLC v1 finished, improve on instructions, improve on infra

evaluation_examples/examples/vlc/8f080098-ddb1-424c-b438-4e96e5e4786e.json

@@ -1,7 +1,7 @@
 {
   "id": "8f080098-ddb1-424c-b438-4e96e5e4786e",
   "snapshot": "base_setup",
-  "instruction": "Could you help me extract MP3 Audio to AUDIO_PATH from Video at VIDEO_PATH using VLC Media Player?",
+  "instruction": "Could you download the song from this music video and save it as an MP3 file? I'd like to have it on my device to play whenever I want. Please title the file \"Baby Justin Bieber.mp3.\" I really appreciate your help!",
   "source": "https://medium.com/@jetscribe_ai/how-to-extract-mp3-audio-from-videos-using-vlc-media-player-beeef644ebfb",
   "config": [
     {
@@ -10,7 +10,7 @@
         "files": [
           {
             "url": "https://drive.usercontent.google.com/download?id=19jBiz8sb0M7KHHATO9qeTPr17aWm4me-&export=download&authuser=0&confirm=t&uuid=7a2261f4-3905-433f-b53f-a52dd0845651&at=APZUnTU1nmXSa1ObrA5NHYt8t1-p:1704710908141",
-            "path": "Baby Justin Bieber.mp4"
+            "path": "Desktop/Baby Justin Bieber.mp4"
           }
         ]
       }
@@ -18,7 +18,11 @@
     {
       "type": "launch",
       "parameters": {
-        "command": "vlc"
+        "command": [
+          "vlc",
+          "--start-time=73",
+          "Desktop/Baby Justin Bieber.mp4"
+        ]
       }
     }
   ],
@@ -27,16 +31,16 @@
     "vlc"
   ],
   "evaluator": {
-    "func": "is_vlc_recordings_folder",
+    "func": "compare_audios",
     "expected": {
-      "type": "rule",
-      "rules": {
-        "recording_file_path": "/home/user/Desktop"
-      }
+      "type": "cloud_file",
+      "path": "https://drive.usercontent.google.com/download?id=1eRuuiUAOmckyn2zQebx1nWQ40kpjSJ_N&export=download&authuser=0&confirm=t&uuid=8012703a-9e45-4d91-9bda-90c119e42254&at=APZUnTW0uyCSeg7FClSc50UJVRz-:1704898635455",
+      "dest": "baby_gold.mp3"
     },
     "result": {
-      "type": "vlc_config",
-      "dest": "vlcrc"
+      "type": "vm_file",
+      "path": "Desktop/Baby Justin Bieber.mp3",
+      "dest": "baby.mp3"
     }
   }
 }