Omoleon jeanneli, new record from Kenya and a redescription (Neuroptera: Myrmeleontidae).