* libgomp.texi: Include gpl_v3.texi instead of gpl.texi.