Type and docs highlighting

[archaeron]

Adds highligting to the type and documentation views

features:

• highlighting comes from the idris compiler
• easy to add to a new view
• testable

Before:

After:

[cnd]

when I open file from context menu with atom it doesn't load and first time I used to get:

Uncaught TypeError: Cannot read property 'stdin' of undefined
/C:/Users/Rainbow/.atom/packages/language-idris/lib/idris-model.coffee:136

but mostly just blank file, if I reopen editor file loads fine and says that there is outdated .ibc format
but if I close and reopen idris file I see blank pane, it doesn't load.

so when there is outdated .ibc file near it doesn't load idr file, seems like

[archaeron]

could it be that the idris code you where working with had errors in it? I think there is an issue when you work on invalid code. The ide-mode seems to stop. We should start a new one when this happens. I think it's unrelated to this pull request though.

[cnd]

@archaeron it's not related error but outdated .ibc but yes, that could be different issue

[archaeron]

I've created an inssue here: #13