List metavariables on file load

This relies on https://github.com/idris-lang/Idris-dev/pull/1046

Backwards compatibility is achieved by disabling the hook.