Switch automated builds from using `wget` to using `curl`

[jeltsch]

The texlive Docker image 3d81446eb42f apparently doesn’t contain wget anymore, on which the quick-and-dirty-build workflow relies for downloading Isabelle. We shall modify the quick-and-dirty-build workflow to use curl instead of wget.