Support literate idris

[justjoheinz]

I am currently working better support for literate idris files with the autocompletion features.

[X] add clause [X] add proof clause [X] make with [X] make lemma [ ] make case statement