boogie: enable usage as a vim plugin#40612

xeji merged 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom

symphorien:boogie_vimsymphorien/nixpkgs:boogie_vimCopy head branch name to clipboard