I tend to agree with mpolo. 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.