Migrate Ion Manual to GitLab Pages

The GitLab CI can be updated to build the manual, and have it hosted as a GitLab Pages page.