Maintain a local mirror of Idris options

Also, set Idris options asynchronously. This stops the Idris menu from
locking up Emacs while Idris is busy.

Fixes #112.
Merge pull request #117 from david-christiansen/issue/112

Maintain a local mirror of Idris options