extra/tools: use the official ninja 1.13.x with GNU make 4.4+
Otherwise on non-Windows systems it doesn't support jobserver properly with older GNU make versions 1.
Some of our CI docker images have GNU Make 4.4 but not all. Not sure what the mac runners have.