Use GitHub cache for CodeQL