Added easycrypt-mode snippets

[JoaoDiogoDuarte]

trafficstars

Easycrypt is a formal verification tool used in cryptography that takes inspiration from languages like Coq and OCaml.

Since I use this language frequently, I added easycrypt snippets. They do not cover everything, but I believe they cover decent ground.