A erradicação da Glossina palpalis palpalis da Ilha do Príncipe (1956-1958) = the eradication of Glossina Palpalis Palpalis from Principe Island (1956-1958)