MIN Use configurable baseURL for demo downloads

Build the demo download URL from the configurable download base URL
instead of hardcoding https://ngless.embl.de, and update the default
base URL to the new resources host.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: luispedro

Execs/Main.hs

@@ -321,8 +321,10 @@ modeExec (CmdArgs.DownloadDemoMode demo) = do
     let known = ["gut-short", "ocean-short"]
     if demo `elem` known
         then do
-            let url = "https://ngless.embl.de/resources/Demos/" ++ demo ++ ".tar.gz"
-            runNGLessIO "downloading a demo" $ downloadExpandTar url "."
+            runNGLessIO "downloading a demo" $ do
+                baseURL <- nConfDownloadBaseURL <$> nglConfiguration
+                let url = baseURL </> "Demos" </> demo <.> "tar.gz"
+                downloadExpandTar url "."
             putStrLn ("\nDemo downloaded to " ++ demo)
         else do
             hPutStrLn stderr (redColor ++ "Unknown demo '"++ demo ++ "'.\n"++

NGLess/Configuration.hs

@@ -22,7 +22,7 @@ import qualified Data.Configurator as CF
 import CmdArgs
 
 defaultBaseURL :: FilePath
-defaultBaseURL = "https://ngless.embl.de/resources/"
+defaultBaseURL = "https://ngless-resources.big-data-biology.org/"
 
 data NGLessOutputDestination = NGLOutStdout | NGLOutStderr deriving (Eq, Show)