. At the end of the day, not feeding the trolls is probably the most effective way to deal with them.
Your other suggestions seem okay on face value, however I suspect that if implemented they could possibly backfire. Trolls seek attention. And that's exactly what you would be giving them. It's a bit like the IRC fools that like to gloat about how many networks they can get themselves g-lined from.
Just ignore them, I say.