Incorrect Indentation with Show Proof.

[benrbray]

When typing Show Proof. followed by ENTER, the new line will have a higher indentation level, as if a new proof has been started. Similarly, when typing Qed. in a proof that contains Show Proof., the Qed. will be automatically indented to the same level as Show Proof., rather than to the level of the proof itself.

Is this within the scope of vscoq or does it require a change to the language server? Thanks!

[rtetley]

Related to #158