cleaned up and improved handling of gitlab merge requests
Make use of gitlab special merge-requests branches of the project, instead of trying to get the required branches from the other repository (may be private).
Updated the git checkout method to handle gitlab merge requests directly (no need for special Gaudi checkout).