New ways to fight Internet 'trolls' in a nasty political season