revert the previous hasted commits and go back to the release of 13.05 -- so the Debian release can match the official release

git-svn-id: https://svn.r-project.org/ESS/trunk@5581 0bbaf3bd-34e0-0310-bf65-c717079852d4