Make a script to update the manual artifact

Since we already have a GitLab token to fetch issues and create the changelogs, we could use the same token to automatically check if we can update the manual.