Add command for retrieving docs

Now, C-c C-d retrieves the docstring for the identifier under
point. Starting a new pattern-matching definition is rebound to C-c C-s.

Relies on updated Idris compiler to support the command!