Took out diagnostics for DNS

Author: mcfadden8

Dockerfile

@@ -72,11 +72,6 @@ RUN apt-get update -y && \
 # Setup system locale for pip package encoding/decoding
 RUN locale-gen en_US.UTF-8
 
-RUN echo "Testing DNS resolution..." && \
-    nslookup github.com && \
-    ping -c 2 github.com && \
-    curl -I https://github.com
-
 # Set up TPLs for SPEC
 WORKDIR /home/spheral/workspace/
 
@@ -111,11 +106,6 @@ ARG HOST_CONFIG=docker-$SPEC
 ARG JCXX=8
 ARG JPY=1
 
-RUN echo "Testing DNS resolution..." && \
-    nslookup github.com && \
-    ping -c 2 github.com && \
-    curl -I https://github.com
-
 WORKDIR /home/spheral/workspace/
 
 # Copy Spheral source and generate host config from tpl-manager (all dependencies should already be installed).