Support highlighting metavariables

Support Idris's semantic info on what names are metavariables and use
the same face as in source code.

Relies on https://github.com/idris-lang/Idris-dev/pull/1012