Add games from Gilboa (1997) and Jakobsen et al. (2016) to catalog

[d-kad]

Issues closed

• Contributes to MAP: Catalog of standard games/game generators #394

Description of the changes

This PR adds five games to the catalog that share a common feature: the absence of a public clock.

• gilboa1997/fig2.efg — Two-selves reformulation of the absent-minded driver from Gilboa (1997)
• jakobsen2016/fig1a.efg — Not exactly timeable coin-toss guessing game from Jakobsen et al. (2016)
• jakobsen2016/fig1b.efg — Exactly timeable variant of the above
• jakobsen2016/fig1c.efg — Not exactly timeable variant where the second bet is conditional
• jakobsen2016/fig3.efg — Four-player onion routing game, not exactly timeable

Bibliography entries for Gil97 and JakSorCon16 have been added.

Makefile.am has been updated.

[edwardchalstrey1]

Looks good to me @d-kad I see you already noticed we changed yesterday how the linking works to use the full https://gambitproject.readthedocs.io/en/latest/biblio.html url, which I was about to email you about. I've just merged in the latest catalog infrastructure updates to the master branch, I think you should be able to just merge the master branch into your branch without any difficulty other than fixing the bibliography conflict.

[d-kad]

Thanks for a quick review @edwardchalstrey1!
I merged master, resolved the bibliography conflict, and fixed a Unicode issue in one of the descriptions.
Ready for another look.

[tturocy]

Also, I would like to merge this after we release 16.6. This is only because we have a very small catalog at the moment and these are exotic examples, so it would be a bit odd I think to be having them while a lot more "obvious" examples are not yet included!