Add code blocks formatting

[alygin]

The extension now supports on-type formatting, i.e. automatic code indentation while the user is typing.

It would be great to also support formatting of the selected code blocks (including the whole document), though there's a great deal of questions about the proper way of TLA⁺ code formatting that should be answered before the implementation.