PHP: redirect errors/notices to stderr