LIDR-aware syntax search

As far as I can see, comments, docs, and text portions of LIDR files are
now all free of Idris keyword highlighting. The same technique can later
be used to highlight Markdown in docs.

I believe this fixes #45, finally.