Add optional help text in metavar list and prover

When idris-show-help-text is non-nil, helpful descriptions are shown in
the prover and metavariables.
Merge pull request #211 from david-christiansen/help-text

Add optional help text in metavar list and prover