Temporary production image that includes necessary packages (#247)

* [docker-compression] Attempt to make docker image smaller

* [docker-compression] Add specificity to the circleci LTS version

* [docker-compression] Changes base image for development container for consistency

* [docker-compression] Forgot to make circleci build container consistent with the rest of the small ones

* [docker-compression] Revert to stack-build from stack-build-small for build containers. Keep for production

* [static-linkage] Build a static binary; make prod even more lightweight

* [static-linkage] Attempt other static command

* [static-linkage] Trying config-based static build

* [static-linkage] Attempt a lot of deps to cover dynamic linkages

* [static-linkage] Temporary static package definitions work

* [static-linkage] Remove additional extra packages

.circleci/config.yml

@@ -25,7 +25,7 @@ jobs:
           command: stack test
       - run:
           name: Install executable
-          command: stack install
+          command: stack install 
       - save_cache:
           name: Cache Dependencies
           key: penrose-cache-{{ checksum "penrose.cabal" }}

Dockerfile.circleci

@@ -1,4 +1,52 @@
-FROM fpco/stack-build-small:lts-13.24
+FROM ubuntu:16.04
+# Based on https://raw.githubusercontent.com/fpco/stackage/9f2b7ab95c711794257b059604e80ab9ad3c0c45/debian-bootstrap.sh
+RUN apt-get update
+RUN echo "deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main" >>/etc/apt/sources.list && \
+  echo "deb-src http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main" >>/etc/apt/sources.list
+
+RUN apt-get clean && apt-get install -y \
+  git \
+  libblas-dev \
+  libbz2-dev \
+  libcairo2-dev \
+  libclang-3.9-dev \
+  libcurl4-openssl-dev \
+  libcwiid-dev \
+  libdevil-dev \
+  libfftw3-dev \
+  libgd2-xpm-dev \
+  libgeoip-dev \
+  libgirepository1.0-dev \
+  libglfw3-dev \
+  libglib2.0-dev \
+  libglu1-mesa-dev \
+  libgnutls-dev \
+  libgsasl7-dev \
+  libicu-dev \
+  libimlib2-dev \
+  libjudy-dev \
+  liblapack-dev \
+  liblmdb-dev \
+  liblzma-dev \
+  libncurses-dev \
+  libnfc-dev \
+  liboath-dev \
+  libopenal-dev \
+  libopenmpi-dev \
+  libpango1.0-dev \
+  libre2-dev \
+  librocksdb-dev \
+  libsnappy-dev \
+  libssl-dev \
+  libsystemd-dev \
+  libtagc0-dev \
+  libtre-dev \
+  libudev-dev \
+  libvte-2.91-dev \
+  libxau-dev \
+  libxml2-dev \
+  z3 \
+  zlib1g-dev
 
 RUN mkdir -p /opt/penrose
 COPY . /opt/penrose/