1. ninja: a small build system with a focus on speed