How Twitter, on the frontlines of history, finally decided to ban Trump