Test continuous deployments to GitHub Pages

[rocketnia]

For a while, the main branch was named master, but now it's named main. The deployment script has been updated to use main to build the gh-pages branch. Let's confirm that this is actually working.

[rocketnia]

I just converted this to a GitHub Actions workflow. Whether or not it was working before, it's working now.