[prove] report list of residual axioms

Add option -h to report hypotheses on proofs.