bfd: rename core.texi to corefile.texi This is a generated file name from a correspondingly named C file. Rename it to avoid unique build rules since there's no difference to the generated manual.