Update idris-vim