update idris-vim (works with new syntastic)
[vim] ignore .ibc files in nerdtree