message: update config file for the docker image
diff: -#Download base image ubuntu 16.04
  -FROM ubuntu:16.04
  +# Download base image ubuntu 18.04
  +FROM ubuntu:18.04
  # Update Software repository
  RUN apt-get -qq update
  -# add https support
  -RUN apt-get install -y apt-transport-https
  +# Install required packets from ubuntu repository
  +RUN apt-get install -y apt-transport-https curl cmake bsdmainutils wget vim nano git binutils autoconf automake make cmake qemu-kvm qemu-system-x86 nasm gcc g++ ca-certificates build-essential libtool
  # add path to hermitcore packets
  -RUN echo "deb https://dl.bintray.com/rwth-os/hermitcore vivid main" | tee -a /etc/apt/sources.list
  +RUN echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic main" | tee -a /etc/apt/sources.list
  # Update Software repository
  RUN apt-get -qq update
  # Install required packets from ubuntu repository
  -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
  +RUN apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit pte-hermit-rs gcc-hermit libhermit-rs
  +
  +# Install Rust toolchain
  +RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly
  +RUN cargo install xargo
  +RUN rustup component add rust-src
  ENV PATH="/opt/hermit/bin:${PATH}"
  ENV EDITOR=vim
  