Docker modules: add "ps" to debian img

src/docker_modules/deeptools/3.0.2/Dockerfile

@@ -8,6 +8,7 @@ ENV PACKAGES build-essential \
              python3-dev \
              python3-wheel \
              zlib1g-dev \
+             procps \
              libcurl4-gnutls-dev
 
 RUN apt-get update && \

src/docker_modules/r/3.5.3/Dockerfile

@@ -2,6 +2,6 @@ FROM rocker/r-ver:3.5.3
 MAINTAINER Remi Seraphin
 
 RUN apt update && \
-apt install libssl-dev libcurl4-openssl-dev libxml2-dev zlib1g-dev git
+apt install libssl-dev libcurl4-openssl-dev libxml2-dev zlib1g-dev git procps
 RUN R -e "install.packages('tidyverse'); \
           install.packages('ggplot2')"

src/docker_modules/ucsc/375/Dockerfile

@@ -8,6 +8,7 @@ ENV PACKAGES apt-utils \
              libpng-dev \
              uuid-dev \
              libmysqlclient-dev \
+             procps \
              rsync
 
 

src/docker_modules/umi_tools/1.0.0/Dockerfile

@@ -5,6 +5,7 @@ ENV UMI_TOOLS_VERSION=1.0.0
 ENV PACKAGES bash \
              python3 \
              python3-pip \
+             procps \
              gcc
 
 RUN apt update && \

src/docker_modules/urqt/d62c1f8/Dockerfile

@@ -5,6 +5,7 @@ ENV URQT_VERSION=d62c1f8
 ENV PACKAGES git=1:2.17* \
    build-essential=12.4* \
    ca-certificates=20180409 \
+   procps \
    zlib1g-dev=1:1.2.11*
 
 RUN apt-get update && \