critic markup integration

As a collaborative tool, it could be great that HackMD | CodiMD implement collaborative modification provides by critic markup, as described [here](https://github.com/CriticMarkup/CriticMarkup-toolkit#welcome-to-the-criticmarkup-toolkit), at least the five basic critic marks:
>Addition {++ ++}
>Deletion {-- --}
>Substitution {~~ ~> ~~}
>Comment {>> <<}
>Highlight {== ==}{>> <<}

That could be a huge enhancement for collaborative writing…

Inizia con il toolkit CriticMarkup collegato nell’issue e segui i punti in cui CodiMD gestisce l’input Markdown, il rendering e gli aggiornamenti collaborativi. Il lavoro è completato quando i cinque mark elencati —addition, deletion, substitution, comment e highlight— funzionano in modo coerente nelle note collaborative.

Scritto dal modello di indicizzazione a partire dal testo della issue.