Closes #1527.
This commit adds an experimental GitLab-based CI. See the PR for more information. Signed-off-by: Ondřej Budai <ondrej@budai.cz>