Ninja anyone?

Actually, finding out where the time is spent in our build might be of some interest.

Don’t know how to do it with ninja proper but apparently shake is able to use ninja files and seems to have a very nice build profiling output (report.html, that is query-able)