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.
4 files changed