Qual das ferramentas apresentadas abaixo faz o controle de versões de um software utilizando um repositório para cada área de trabalho, além de um repositório maior para controlar outras áreas, e que permite projetos colaborativos com vários desenvolvedores?