Use of Tiny Targets to control tsetse flies in Gambian HAT foci: standard operating procedures