Goblint XML result to HTML converter