Provide IDESlave output with docs and type

Now, IDESlave provides the docstring overview and type of names that it
decorates. The module Idris.Output was introduced to remove some cyclic
dependency problems.
Merge pull request #1014 from david-christiansen/doc-type-ideslave

Show docs and types in IDESlave