Support highlighting metavariables

Support Idris's semantic info on what names are metavariables and use
the same face as in source code
Merge pull request #103 from david-christiansen/metavar-highlight

Support highlighting metavariables