Fix some Karate Light plugin logging and Doxygen