Tamarin Prover Extension for VSCode

An extension for highlighting tamarin-prover syntax.

Also include some snippets to smooth developing

see http://tamarin-prover.github.io/