Some changes to Euclid chapter of Tutorial.

Motivated by github issues #325, #273 and #275.
- 273: encourage lcsymtacs/modern proofs
- 275: document lcsymtacs/modern proofs
- 325: tactics/proofs have rotted