Add semantic highlighting info for metavariables

This will enable the appropriate fonts to be used in IDEs such as idris-mode
Merge pull request #1012 from david-christiansen/issue/949

Add semantic highlighting info for metavariables