Add fold goals

[start974]

Add goal display mod Unfold (by default) or Fold.

Examples:

Unfold:

3 goals
Goal 11 (1 / 3)
A, B, C : Prop
HA : A

========================================

A \/ B \/ C


────────────────────────────────────────────────────────────

Goal 18 (2 / 3)
A, B, C : Prop
HB : B

========================================

A \/ B \/ C


────────────────────────────────────────────────────────────

Goal 19 (3 / 3)
A, B, C : Prop
HC : C

========================================

A \/ B \/ C

Fold:

3 goals
Goal 11 (1 / 3)
A, B, C : Prop
HA : A

========================================

A \/ B \/ C


────────────────────────────────────────────────────────────

Goal 18 (2 / 3)
>
Goal 19 (3 / 3)
>