Turn off syntastic for Idris files.

More info here: https://github.com/idris-hackers/idris-vim/issues/9