Update PrimeWhitespace/solution_1/Dockerfile

Use rbergen's suggestion for Dockerfile

Co-authored-by: Rutger van Bergen <[email protected]>

Author: rzuckerm

Diff for: PrimeWhitespace/solution_1/Dockerfile

@@ -4,17 +4,9 @@ WORKDIR /tmp
 RUN apt-get update && \
     apt-get install -y ghc git make python3 && \
     git clone --depth 1 https://github.com/TryItOnline/WSpace && \
-    apt-get remove -y git && \
-    apt-get autoremove -y && \
-    apt-get clean && \
-    rm -rf /var/lib/apt/lists/*
-
-WORKDIR /tmp/WSpace
-RUN apt-get update && \
-    apt-get install -y make && \
-    make && \
-    cp wspace /usr/bin/whitespace && \
-    apt-get remove -y make && \
+    make -C WSpace && \
+    cp WSpace/wspace /usr/bin/whitespace && \
+    apt-get remove -y git make && \
     apt-get autoremove -y && \
     apt-get clean && \
     rm -rf /var/lib/apt/lists/* /tmp/WSpace