This also allow to configure with --without-xmlto to ignore
a 3rd party xmlto tool on systems that normally don't have it,
in order to have reproducable builds.
Problem reported by kili@. Patch with help from Gaetan Nadon
(memsize at videotron dot ca) on X.Org devel list.