Support new :refine command

This relies on a merge of
https://github.com/idris-lang/Idris-dev/pull/1083

The keybinding C-c C-r is based on Agda's default binding for refine.
Merge pull request #116 from david-christiansen/refine

Support new :refine command