Resume Builds with Github actions as Travis decided to charge. Workflow is actually simpler as it doesn't require any tokens. (Old) Builds with Travis and deploys to gh-pages. (The commit needs to be tagged before a new deployment is spinned.)