A proof-builder command that repeats the given instructions until all goals have been proved
Example: (repeat-until-done induct (repeat bash)) General Form: (repeat-until-done instr1 ... instrk)
where each instri is a proof-builder instruction.
