Dafny language plugin for vim

Based on vim-loves-dafny.

Style guide (used for default whitespace settings). You can override anything you want using ~/.vim/after/{ftplugin,indent,syntax}/dafny.vim.

ALE already includes linter support for dafny.