message: install also libhermit to path all tests
diff: @@ -36,8 +36,9 @@ apt-get install -y qemu-system-x86 cmake wget curl gnupg checkinstall gawk dialo
  echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic main" | tee -a /etc/apt/sources.list
  apt-get -qq update
  -apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit pte-hermit-rs gcc-hermit
  +apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit pte-hermit-rs gcc-hermit libhermit
  export PATH=/opt/hermit/bin:$PATH
  +export PATH="$HOME/.cargo/bin:$PATH"
  curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly
  cargo --version # dump version of ther Rust toolchain
  