[vim] update idris-vim