GitLab

This uses 2.4 and 2.9 MB for the two versions, but avoids having
to keep the full source repos lying around when we only use the
headers, when the full repos take up over 900 MB and 1.7 GB
respectively.
Signed-off-by: Martin Storsjö <martin@martin.st>