delete trash files from coreir layer

Dockerfile

@@ -93,9 +93,19 @@ RUN printf -- "--- TIME %s %s\n" `date +%H:%M` pono &&\
   echo -n "AFTER  CLEANUP: " && du -hs /aha/pono
 
 # CoreIR
+WORKDIR /aha
 COPY ./coreir /aha/coreir
 WORKDIR /aha/coreir/build
-RUN cmake .. && make && make install
+RUN printf -- "--- TIME %s %s\n" `date +%H:%M` CoreIR &&\
+  cmake .. && make && make install &&\
+  echo -n "BEFORE CLEANUP: " && du -hs /aha/coreir/build &&\
+  /bin/rm -rf src bin tests &&\
+  echo -n "AFTER  CLEANUP: " && du -hs /aha/coreir/build
+
+# CoreIR cleanup notes
+# I guess we need build/lib (51M) but hopefully not build/src (111M) or build/tests (59M) or maybe even build/bin (51M)
+# FIXME/TODO could probably delete coreir/build/lib and replace with a symlink to coreir/lib? To save 34M.
+
 
 # Lake
 COPY ./BufferMapping /aha/BufferMapping