Filter and library for using pandoc with highlighting-kate