vim-agda-mode: rudimentary CheckBuffer()