Move 13.05.X NEWS into HISTORY.

NEWS:
HISTORY:
	As above.
Update the version in the release notes.

RELEASE_NOTES:
	Bump the version to 14.01.
Merge branch 'master' into version-14_01-branch
Merge branch 'master' into version-14_01-branch
Move 13.05.X NEWS into HISTORY.

NEWS:
HISTORY:
	As above.
Update the version in the release notes.

RELEASE_NOTES:
	Bump the version to 14.01.
Merge branch 'version-14_01-branch'