Add manual workflow to deploy to GitHub pages

[jpd236]

So that this can be triggered remotely instead of having to build + upload commits from my local workstation, which feels more error-prone. (At some point, it could make sense to automate it on commit or on release, but this would be a reasonable first step).