changing wget to curl in prepare workload

default.nix

@@ -51,7 +51,7 @@ let self = rec {
       (python3.withPackages 
         (ps: with ps; with python3Packages; [jupyter ipython pandas numpy psutil matplotlib plotly pip tabulate pytz isodate ordered-set yattag])
       )
-      wget
+      curl
       batmen-tools
       rsync # to synchronize directory
     ];

scripts/prepare_workload.sh

 #!/bin/bash
 #cut the workload for our experiments
-wget https://www.cs.huji.ac.il/labs/parallel/workload/l_metacentrum2/METACENTRUM-2013-3.swf.gz \
-      --no-check-certificate -nc -P workload workload/METACENTRUM-2013-3.swf.gz;
-gunzip workload/METACENTRUM-2013-3.swf.gz;
+curl -L -o - http://www.cs.huji.ac.il/labs/parallel/workload/l_metacentrum2/METACENTRUM-2013-3.swf.gz | gunzip > workload/METACENTRUM-2013-3.swf
 jun1=44578794;
 nov30=60393593;
 nb_hour=15;