mention the discussion on tor-dev about file verification tool ([diff](https://trac.torproject.org/projects/tor/wiki/TorWeeklyNews/2013/12?action=diff&version=39)) URL: https://trac.torproject.org/projects/tor/wiki/TorWeeklyNews/2013/12?version=39