Adapt dockerfile to the new development environment

Author: MatonAnthony

Dockerfile

@@ -6,6 +6,7 @@ MAINTAINER Virginie Van den Schrieck, [email protected]
 RUN cat /etc/resolv.conf
 RUN apt-get update  \
 		&& apt-get install -y gcc libc6-dev make curl wget xz-utils\
+			--no-install-recommends \
                ca-certificates bzip2 --no-install-recommends strace \
 		&& rm -rf /var/lib/apt/lists/*
 
@@ -51,4 +52,4 @@ RUN git submodule update --init --recursive && make
 
 RUN echo "tmpfs /dev/shm tmpfs defaults,nosuid,nodev 0 0" >> /etc/fstab && echo "">>/etc/fstab
 
-ENTRYPOINT sh -c "mount /dev/shm && strace ./out/pythia queue & strace ./out/pythia pool & strace ./out/pythia server"
+# ENTRYPOINT sh -c "mount /dev/shm && strace ./out/pythia queue & strace ./out/pythia pool & strace ./out/pythia server"