Refine: Tactics.New.refine does beta-reduction.

Previously I had wrapped Tactics.New.refine with extra
beta-reduction in extratactics.ml4, that is, only for Ltac.
Ocaml plugins saw the version without reduction.