move to verso load verso in cursor test with simple posts latex must work what about plugins, comments, etc? mail form

https://github.com/leanprover/verso