20160913 tech.tech-news: Instagram launches new tool to take on trolls