build: add extra *.texi files to coreutils_TEXINFOS, not EXTRA_DIST