use 'setlocal' instead of 'set' in idris.vim
Merge pull request #1 from bytbox/patch-1

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