With the sudden and tragic death of former child star Gary Coleman, who entertained television audiences as the bite-sized half of “Diff’rent Strokes,” an unlikely tribute came by way of Broadway, or at least Off-Broadway, thanks for the puppet musical “Avenue Q.” “Avenue Q,” a musical that won a Tony Award for best musical, includes…