Use build cache in CI

[Lgt2x]

Most translation units don't change between subsequent CI builds. The pipeline could benefit greatly from build cache to reduce CI build cache, using sccache or an equivalent Github Action.