A new species of Gymnoproctus Karsch 1887 (Grylloptera Tettigoniidae Hetrodinae) from Kenya with some notes on its biology.