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