Package djvu-xmltools