GitLab

The goal is to have a single archive in records, alike when using the github hook.

Related to issues #73 #63 #56

TODO:

• fix issue #63
• fix issue #56
• in case of using gitlab CI, one can use the archive from gitlab directly?
• remove singularity building
• do not upload the docker tar archive