CI: Run HOL-Light tests with log output

Otherwise, it is impossible to follow the progress of the
long-running HOL-Light proofs in CI.

Signed-off-by: Hanno Becker <beckphan@amazon.co.uk>

Author: hanno-becker

.github/workflows/hol_light.yml

@@ -98,4 +98,4 @@ jobs:
           gh_token: ${{ secrets.GITHUB_TOKEN }}
           nix-shell: 'hol_light'
           script: |
-            tests hol_light -p ${{ matrix.proof.name }}
+            tests hol_light -p ${{ matrix.proof.name }} --verbose