[tor-commits] [tor/master] Merge branch 'move_contrib_source' of git://git.torproject.org/nickm/tor