Evaluate using a custom gitlab runner executor for building

We’d like to evaluate the gitlab runner as a way to dispatch builds to actual machines. This way, we don’t have to build some features ourself:

• UI for displaying build status & logs
• Distributing jobs across multiple machines

It’s still unclear whether we need resource-based scheduling - that’s something gitlab doesn’t have, and we’d probably need to write a custom runner for that.