update DjVuLibre to 3.5.25.3 and adjust dependent ports: the QT3 GUI that was
formerly in graphics/djvulibre has been removed, and graphics/djvulibre-nox11
has been merged back into graphics/djvulibre
- Eliminate leftovers in patch-tools_Makefile.in so any2djvu really gets
installed if selected.
PR: ports/136436
Submitted by: "Frank W. Josellis" <frank@dynamical-systems.org>