Makefile.in (options.c): Tell optc-gen.awk to include config.h, system.h, coretypes...

Makefile.in (options.c): Tell optc-gen.awk to include config.h, system.h, coretypes.h and tm.h.

	* Makefile.in (options.c): Tell optc-gen.awk to include config.h,
	system.h, coretypes.h and tm.h.
	(options.o): Update dependencies accordingly.
	* optc-gen.awk: Allow header_name to be a list of filenames.
	Handle the "Condition" flag.
	* opts.h (CL_DISABLED): New flag.
	* opts.c (handle_option): Print an error for CL_DISABLED options.
	* doc/options.texi: Document the "Condition" option flag.

From-SVN: r99774