Include wget in dependencies (#4183)

Install `wget` as part of the dependencies as it's needed for
downloading kissat (`scripts/setup/install_kissat.sh`).

Without that, users may run into an error:
```
+ wget -O rel-4.0.1.tar.gz https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.1.tar.gz
/Users/foo/git/kani/scripts/setup/macos-14/../install_kissat.sh: line 33: wget: command not found
```

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: zhassan-aws

scripts/setup/al2/install_deps.sh

@@ -13,7 +13,6 @@ DEPS=(
   cmake3
   gcc10-c++
   git
-  wget
 )
 
 set -x

scripts/setup/install_kissat.sh

@@ -30,7 +30,7 @@ URL="https://github.com/arminbiere/kissat/archive/refs/tags/$FILE"
 
 set -x
 
-wget -O "$FILE" "$URL"
+curl -L --remote-name "$URL"
 tar -xvzf $FILE
 DIR_NAME="kissat-rel-${KISSAT_VERSION}"
 cd $DIR_NAME

scripts/setup/ubuntu-20.04/install_deps.sh

@@ -17,7 +17,6 @@ DEPS=(
   gpg-agent
   make
   patch
-  wget
   zlib1g
   zlib1g-dev
 )

scripts/setup/ubuntu/install_cbmc.sh

@@ -22,7 +22,7 @@ then
 
   set -x
 
-  wget -O "$FILE" "$URL"
+  curl -L --remote-name "$URL"
   sudo dpkg -i "$FILE"
   cbmc --version
   rm $FILE

scripts/setup/ubuntu/install_deps.sh

@@ -16,7 +16,6 @@ DEPS=(
   gpg-agent
   make
   patch
-  wget
   zlib1g
   zlib1g-dev
 )