don't install HermitCore compiler in the Docker container

Dockerfile

@@ -10,13 +10,13 @@ RUN apt-get -qq update
 RUN apt-get install -y apt-transport-https curl wget vim git binutils autoconf automake make cmake qemu-kvm qemu-system-x86 nasm gcc g++ build-essential libtool bsdmainutils libssl-dev python pkg-config lld
 
 # add path to hermitcore packets
-RUN echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic 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
+#RUN apt-get -qq update
 
 # Install required packets from ubuntu repository
-RUN apt-get install -y --allow-unauthenticated binutils-hermit gcc-hermit-rs #newlib-hermit-rs pte-hermit-rs gcc-hermit-rs libhermit-rs
+#RUN apt-get install -y --allow-unauthenticated binutils-hermit gcc-hermit-rs #newlib-hermit-rs pte-hermit-rs gcc-hermit-rs libhermit-rs
 
 # Install Rust toolchain
 RUN cp /src/config.toml /src/rust