Event-B to Dafny Contract Generator Plugin