Add Gitlab CI
When new changes are pushed to the repo, open a merge request to bump the release number in the spec file.
Do nothing if a similar merge request is already open.
A merge request may be opened even if the new changes don't require a build (e.g. a change in the README). If this happens, the maintainer can just close the merge request.