docs/ProgrammingCryptol: nag about obsolete LaTeX usage

Provision building cleaner non-legacy LaTeX in the future.

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>