Bump actions/checkout from 4 to 5 (#6)

Author: dependabot[bot]

.github/workflows/buildtest.yml

@@ -25,7 +25,7 @@ jobs:
           - {stormpyImg: "ci"}
     steps:
       - name: Git clone
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Build from Dockerfile
         run: docker build -t movesrwth/stormpy-starter . --build-arg STORMPY_BASE=movesrwth/stormpy:${{ matrix.config.stormpyImg }}
       - name: Run Docker