Fixup version number at the top of the Documentation page

documentation/include/documentation.inc:
    As above.

    Also comment out the links here until we upgrade the download site.
Announce the 13.05.2 release.

news/newsdb.inc:
   As above.
Update version number on documentation page

documentation/include/documentation.inc:
    As above.