users guide: Mention -fprint-typechecker-elaboration in -ddump-tc docs

Authored by bgamari on Jul 6 2018, 9:58 AM.