20151207 tech.tech-news: Facebook; Google & Twitter step up battle against militant propaganda