Make page deployment have the correct name

I realized that the online docs haven't update in a few months. I think I tracked it down to this commit.

The issue is that the job that creates the documentation needs to be called pages (see here) for gitlab to know to deploy it.