Tamarin Prover Syntax for VSCode

An extension for highlighting tamarin-prover.

Also include some snippets to smooth developing

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