Switch to HedgeDoc

• CodiMD was renamed to HedgeDoc: https://hedgedoc.org/history/
• needs updating due to recent security flaws anyway

Tasks

• rename project
• migrate test
• migrate prod
• cleanup former CodiMD data
• subscribe to release RSS feed