[Verifpal] Verifpal for Micro

[Mike]

hi all,

https://git.envs.net/mpech/verifpal-micro

Support for Micro editor:
o) verifpal syntax highlighting
o) run model verification inside editor by Ctrl-B

(mike)