anchor.diff:  RUN mkdir -p /k3/K3 /k3/K3-Mosaic && \
       git clone https://github.com/DaMSL/K3.git /k3/K3 && \
       git clone https://github.com/DaMSL/K3-Mosaic.git /k3/K3-Mosaic
  +
  +# Install decent vim configuration
  +RUN mkdir /root/.vim && \
  +    git clone https://github.com/tpope/vim-pathogen.git /root/.vim; \
  +    git clone https://github.com/tpope/vim-sensible.git /root/.vim/bundle; \
  +    git clone https://github.com/tmhedberg/matchit.git /root/.vim/bundle; \
  +    git clone https://github.com/kien/ctrlp.git /root/.vim/bundle; \
  +    git clone https://github.com/tpope/vim-surround.git /root/.vim/bundle; \
  +    git clone https://github.com/tpope/vim-unimpaired.git /root/.vim/bundle; \
  +    git clone https://github.com/tpope/vim-repeat.git /root/.vim/bundle; \
  +    git clone https://github.com/tpope/vim-fugitive.git /root/.vim/bundle; \
  +    git clone https://github.com/tpope/vim-vinegar.git /root/.vim/bundle; \
  +    git clone https://github.com/tpope/vim-eunuch.git /root/.vim/bundle; \
  +    git clone https://github.com/scrooloose/nerdtree.git /root/.vim/bundle; \
  +    git clone https://github.com/scrooloose/syntastic.git /root/.vim/bundle; \
  +    git clone https://github.com/godlygeek/tabular.git /root/.vim/bundle; \
  +    git clone https://github.com/bling/airline.git /root/.vim/bundle; \
  +    git clone https://github.com/bronson/vim-visual-star-search.git /root/.vim/bundle; \
  +    git clone https://github.com/justinmk/vim-sneak.git /root/.vim/bundle; \
  +    echo 'execute pathogen#infect() | syntax on | filetype plugin indent on' > /root/.vimrc
  
positive.code: RUN apt-get update && apt-get install -y \
        linux-tools-3.13.0-32-generic libc6-dbg \
        wget aptitude tmux vim emacs make git mercurial \
        autoconf automake libtool pkg-config \
        zlib1g-dev libreadline6 libreadline6-dev libncurses5-dev libgmp-dev libyaml-dev libzmq3 libzmq3-dev \
        python-dev python-pip ruby \
        clang-3.5 libbz2-dev
  
  # Install and configure GCC 4.9
  
negative.code:     cabal update && \
      cabal install cabal-install -j
  
  # Install libre2
  RUN add-apt-repository -y ppa:pi-rho/security && \
      apt-get update && \
      apt-get install -y libre2-dev
  
  # Install csvpp
  RUN git clone https://git01.codeplex.com/forks/wjjt/csvpp /software/csvpp && \
  