adicionando ator "visitante" (usuário não autenticado) aos casos de uso e
modificando adequadamente os casos de uso de pesquisa
corrigindo typo paypall => paypal
typo: {Pré,Pós}-condições tem hífen, corrigindo