An inconspicuous, conspicuous new species of Asian pipesnake, genus Cylindrophis (Reptilia: Squamata: Cylindrophiidae), from the south coast of Jawa Tengah, Java, Indonesia, and an overview of the tangled taxonomic history of C. ruffus (Laurenti, 1768)