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

Unsure if I should make this PR here or in Idris-dev. Anyway, this keeps the idris plugin from stepping on the toes of other parts of an editing session.

(My first PR with github's in-browser interface, so I apologies in advance if it's broken.)