Update CI workflow to deploy to GitHub Pages.#102

nuclearsandwich wants to merge 2 commits intomaincolcon/colcon.readthedocs.org:mainfrom

deploy-to-pagescolcon/colcon.readthedocs.org:deploy-to-pagesCopy head branch name to clipboard