GitHub CI: On macOS, install texlive instead of mactex-no-gui

This saves disk space and appears to run faster as well.
It works around an issue with GitHub's macos-14 runner image,
that has less free disk space due to more software being installed
in the recent release (see actions/runner-images issue 10511).

.github/workflows/install_dependencies_doc_macos.sh

@@ -1,3 +1,3 @@
 #!/usr/bin/env bash
 
-brew install mactex-no-gui
+brew install texlive