This tool could help detect doctored videos of world leaders - CNN