message: add required build tools to the docker image
diff: @@ -14,7 +14,7 @@ RUN echo "deb https://dl.bintray.com/rwth-os/hermitcore vivid main" | tee -a /et
  RUN apt-get -qq update
  # Install required packets from ubuntu repository
  -RUN apt-get install -y curl wget vim nano git binutils
  +RUN apt-get install -y curl wget vim nano git binutils autoconf automake make cmake qemu-system-x86 nasm gcc
  RUN apt-get install -y --allow-unauthenticated binutils-hermit libhermit newlib-hermit pthread-embedded-hermit gcc-hermit
  ENV PATH="/opt/hermit/bin:${PATH}"
  