Reworked ILaTexListing: Use html to LaTeX conversion instead of generating latex in python.
Updated translations.