The ninja build system supports overriding "ninja" with $NINJA, just
like how $MAKE overrides "make". In Gentoo we go one step further and
allow dev-util/samurai to replace dev-util/ninja when NINJA=samu.
Here we tweak sage-configure to override sage's ninja check when NINJA
is set in the environment.