Twitter has finally figured out how to quickly shut down trolls who rejoice at public tragedy