Update NEWS file for 13.05 release.

NEWS:
	Merge the NEWS for 12.08 (which we won't officially
	release) with other recent changes to form the NEWS
	file for the 13.05 release.