Support :printdef over IDESlave

This adds the option to see the internal definition of a symbol to
right-click menus, as well as a command. There's no keybinding by
default.

Relies on https://github.com/idris-lang/Idris-dev/pull/1543.