don't install HermitCore compiler in the Docker container

1 job for master in 14 minutes and 55 seconds