[docker] bump infer version to 0.13.1

Summary:
This should fix the following issues:
- the previous release (0.13.0) not building anymore (#830)
- ubuntu 17:04 reached end of life, so `apt-get update` would now fail (#846)
- Docker doesn't support the `MAINTAINER` entry anymore, replaced by `LABEL maintainer` (#857)

Fixes #830, #846, #857

Reviewed By: sblackshear

Differential Revision: D6889313

fbshipit-source-id: 14daf1d

INSTALL.md

@@ -99,55 +99,8 @@ sudo make install
 
 ## How to install the dependencies on Linux
 
-Here are instructions on how to install the dependencies needed to
-compile Infer on a few Linux distributions.
-
-### Debian 7 (Wheezy) and Ubuntu 14.04 LTS
-
-```sh
-sudo apt-get update
-sudo apt-get upgrade
-sudo apt-get install -y \
-  autoconf \
-  automake \
-  build-essential \
-  git \
-  libgmp-dev \
-  libmpc-dev \
-  libmpfr-dev \
-  libsqlite3-dev \
-  m4 \
-  openjdk-7-jdk \
-  pkg-config \
-  python-software-properties \
-  unzip \
-  zlib1g-dev
-```
-
-### Debian 8 (Jessie)
-
-```sh
-sudo apt install -y \
-  autoconf \
-  automake \
-  build-essential \
-  git \
-  libgmp-dev \
-  libmpc-dev \
-  libmpfr-dev \
-  libsqlite3-dev \
-  m4 \
-  opam \
-  openjdk-7-jdk \
-  unzip \
-  zlib1g-dev \
-  opam \
-  rsync \
-  pkg-config \
-  libncurses-dev \
-  python \
-  aspcud
-```
+See the Dockerfile in docker/ for inspiration. It includes the
+dependencies needed to build infer on Debian 9 (stretch).
 
 ### Setting up opam
 

docker/Dockerfile

@@ -1,26 +1,27 @@
-FROM ubuntu:17.04
+FROM debian:stretch-slim
 
-MAINTAINER Infer
+LABEL maintainer "Infer team"
 
+# mkdir the man/man1 directory due to Debian bug #863199
 RUN apt-get update && \
-    apt-get install -y \
-            aspcud \
-            curl \
-            opam \
-            pkg-config \
+    mkdir -p /usr/share/man/man1 && \
+    apt-get install --yes --no-install-recommends \
       autoconf \
-            libsqlite3-dev \
-            zlib1g-dev \
+      automake \
       cmake \
+      curl \
+      git \
       libc6-dev \
-            libc6-i386 \
-            lib32z1 \
-            lib32stdc++6 \
-            openjdk-8-jdk-headless && \
+      libsqlite3-dev \
+      opam \
+      openjdk-8-jdk-headless \
+      pkg-config \
+      python2.7 \
+      zlib1g-dev && \
     rm -rf /var/lib/apt/lists/*
 
 # Download the latest Infer release
-RUN INFER_VERSION=v0.13.0; \
+RUN INFER_VERSION=v0.13.1; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \