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.

fixes #202