Add Catch-Up game conjecture

[mehmetmars7]

This adds the Catch-Up game conjecture, based on:

A. Isaksen, M. Ismail, S. J. Brams, A. Nealen,
"Catch-Up: A Game in Which the Lead Alternates,"
Game & Puzzle Design 1(2), 38–49 (2015).
https://game.engineering.nyu.edu/projects/catch-up/

The file includes:

• definitions of Player, Position, and Outcome,
• a recursive evaluation function value,
• catchUpValueN for the initial segment {1, ..., N},
• the conjecture catchUp_draw_when_T_even.

The conjecture is tagged with:
@[category research open]
@[AMS 91, AMS 11]

lake build succeeds locally.

Related Issue: #1324

[mehmetmars7]

Fixed typos