ninja: a small build system with a focus on speed