Add NO_STAGE for non-bsd.cabal.mk consumers.
Merge branch 'master' into idris-port