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