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.