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.