How to install xmldiff-xmlrev on Debian 9 (Stretch)