Twitter has made it a personal mission to stomp the trolls and abusive users that are giving its service a bad name (and causing some legitimate users to jump ship). The anonymous corner of the Internet offers a much-needed service for many, but it is likewise often abused by trolls who use it so that they're harder to trace. Tor …