Do not patch configure script to pass correct values of JAVA and JAVAC
variables, do it via CONFIGURE_ENV. Configure script modification time
now does not get changed, which in turn does not force the rebuild of
kawa.info', so dependency on print/texinfo' can be dropped (generated
file was essentially the same modulo numeric indices).