gcj.texi (libgcj Runtime Properties): Remove obsolete gnu.gcj.runtime.NameFinder.* system properties.

	* gcj.texi (libgcj Runtime Properties): Remove obsolete
	gnu.gcj.runtime.NameFinder.* system properties. Update documentation
	for gnu.gcj.runtime.NameFinder.use_addr2line and gnu.gcj.progname.

From-SVN: r98871