Support docstrings and types from ideslave

IDESlave, following the merge of
https://github.com/idris-lang/Idris-dev/pull/1014 , will provide clients
with documentation overviews and type signatures. This shows them in tooltips.
Merge pull request #104 from david-christiansen/docs-n-types-in-output

Show documentation and types in Emacs