update idris-vim