Upgrade texinfo.tex to the file distributed with texinfo-4.0. Add support for the target ``pdf'' to the gdb/doc directory.