v0.8.6

• Support totality checking for functions #58
• Better support for literate programming #75
• Support Add proof clause command #76
• Update syntax file to fix context signature df29a52 @be5invis
• Update code snippets 3c1c869