Documentation/Makefile: Allow custom XMLTO binary