Fix broken Ocsigen links and documentation generation
Update Ocsigen's links to their new website version. Fix an issue in RPC documentation generation
Update Ocsigen's links to their new website version. Fix an issue in RPC documentation generation