Install curl in ubuntu_install_core.sh

Rationalize the installation of curl among all the docker install scripts.

docker/install/ubuntu_install_core.sh

@@ -24,7 +24,7 @@ set -o pipefail
 apt-get update && apt-get install -y --no-install-recommends \
         git make libgtest-dev cmake wget unzip libtinfo-dev libz-dev\
         libcurl4-openssl-dev libssl-dev libopenblas-dev g++ sudo \
-        apt-transport-https graphviz pkg-config
+        apt-transport-https graphviz pkg-config curl
 
 
 cd /usr/src/gtest && cmake CMakeLists.txt && make && cp *.a /usr/lib

docker/install/ubuntu_install_nodejs.sh

@@ -21,7 +21,6 @@ set -u
 set -o pipefail
 
 apt-get update
-apt-get install -y curl
 
 # The node install script fetched and executed here will update the
 # apt source list, hence the second apt-get update is necessary.

docker/install/ubuntu_install_rust.sh

@@ -20,7 +20,6 @@ set -e
 set -u
 set -o pipefail
 
-apt-get update && apt-get install -y --no-install-recommends curl
 
 export RUSTUP_HOME=/opt/rust
 export CARGO_HOME=/opt/rust