* include/tr2/bool_set: Use UTF-8 for accented characters.
	* scripts/run_doxygen: Handle Doxygen 1.8.x change.
	* doc/doxygen/user.cfg.in: Update to Doxygen 1.8.6 format. Set
	QUIET=YES, remove obsolete SYMBOL_CACHE_SIZE tag.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211053 138bc75d-0d04-0410-961f-82ee72b054a4