Scripts to add releases to GitHub and upload generated docs (for use on the site)