Compatibility with older Info browsers

[Andrew Cagney]

Eli Zaretskii wrote:

> The problematic feature was introduced in 3.12h, so you just got away
> by the skin of your teeth ;-).

Ok.  The snapshot-process now use a private copy of makeinfo-3.12 so
that the process is insulated from general sourceware changes.

	thanks,
		Andrew

PS: A problem with the GDB snapshot containing too much has also been
fixed.