Add `index-only` branch that mirrors `repo` without source tarballs
The CI deploy job already publishes the built repository to the `repo` branch. Push the same tree minus the `package/` subdirectory to a new `index-only` branch so that consumers who only need the index (e.g. a Nix flake input used to compute a cabal install plan) can avoid the large tarball download. The filtered tree is recomputed via `git ls-tree | git mktree` so we don't touch the working tree.