The generated html for the “RISC-V External Debug Support” spec has been updated.

• Reverted to official release branch (0.13.2)
• Many tex->html conversion errors fixed.
• Added links to source documents, source version.