Don't show interactive download progress when premaking on bots

Diffs=
79f98695a Don't show interactive download progress when premaking on bots

.rive_head

diff --git a/.rive_head b/.rive_head
index 7abb345..72a2472 100644
--- a/.rive_head
+++ b/.rive_head
@@ -1 +1 @@
-b7fd1d825da82f8e2eb67e985d1d04d223086107
+79f98695a664d4630b757572a4aa260e3ba8d5cf

build/dependency.lua

diff --git a/build/dependency.lua b/build/dependency.lua
index bef9145..d183d1c 100644
--- a/build/dependency.lua
+++ b/build/dependency.lua
@@ -9,6 +9,11 @@
     last_str = str
 end
 
+newoption {
+    trigger = 'no-download-progress',
+    description = 'Hide progress?',
+}
+
 function m.github(project, tag)
     local dependencies = os.getenv('DEPENDENCIES')
     if dependencies == nil then
@@ -32,7 +37,7 @@
         http.download(
             'https://github.com/' .. project .. '/archive/' .. tag .. '.zip',
             downloadFilename,
-            {progress = progress}
+            {progress = not _OPTIONS['no-download-progress'] and progress}
         )
         print('Downloaded ' .. project .. '.')
         zip.extract(downloadFilename, dependencies .. '/' .. hash)