Add comments about pretty-printing via IfaceSyn

Authored by simonpj on Aug 24 2018, 4:29 AM.