This patch makes debugging Javadoc builds a bit easier. It makes sure debug flags are not stored in vardeps files, and it also sets the -verbose flag on LOG=trace.