The source project of this merge request has been removed.
Add GitLabCI definition
Additionally, drops the GitHub and Travis CI definitions since they are no longer needed.
Additionally, drops the GitHub and Travis CI definitions since they are no longer needed.