Use 'setlocal' instead of 'set' in idris.vim

Merged pull request at my iris-vim mirror: https://github.com/jhenahan/idris-vim/commit/8aea52f90d116051b4033e86ff804419a4df46b0