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.
Fix incorrect synopsis
Merge pull request #110 from david-christiansen/metavariable-list

List metavariables on file load