kwarc/mmt repository overview

The MMT documentation for both developers and users as well as can be found and edited at https://uniformal.github.io/⁠.

Acknoledgements are at https://uniformal.github.io/doc/⁠