Bump Ninja to version 4.0.0.

Ninja 4.0.0 was released last week - that's the update for the TE benchmarks - upgrade is painless... Thanks!