Biegunka: add idris-dev vim support.