Standardize the proof of general Stein factorization

The proof as given before was too tricked. Now we prove it by just
relying on very standard results on limits of schemes, thereby reducing
more directly to the Noetherian case. No tricks!