devel/ninja: Update to 1.13.1

This has been a painstakingly long process, but we're not going back now.
All chromium-based ports have been verified to build with ninja 1.13.1.

Special thanks to makc for revitalizing my interest in this and for doing
the patch for ninja itself.

PR:		279187
Exp-run by:	antoine