Completion of global identifiers in Idris buffers

Now, Idris will provide completions when M-tab is pressed.