Loveridge’s Angolan geckos, Afroedura karroica bogerti and Pachydactylus scutatus angolensis (Sauria, Gekkonidae): new distribution records, comments on type localities and taxonomic status