Give Laurent Théry his acute accents in Tutorial

Capitalise chapter titles, and add a new chapter stub "proof tools".

Updated the Tutorial to now include my example based on Tom's
combinatory logic proofs. This example has the drawback that it
creates a .dvi file that won't display because of its dependence on
pstricks. Only the .ps and .pdf files are useful. I don't think this
is a serious problem. Also modified the Makefile to be a bit smarter.

A variety of updates in the light of Kananaskis changes.

Updates.

Suite of relatively minor changes. Most significant is addition of
final chapter that explains the contents of the examples directory.