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

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