Ninja, a small build system with a focus on speed