Print full_name after precompiling extension

[JoshuaLampert]

This PR fixes #60047 to print the full package name ParentPkg → ExtensionName instead of only the ExtensionName to match what the docs say:

In Pkg output, extension names are always shown together with their parent package name.

I have looked for more possible locations, which should print the full_name and found the possible candidates:

julia/base/precompilation.jl

Line 936 in db0ee41

println(io, pkg.name, color_string(str, Base.warn_color()))

julia/base/precompilation.jl

Line 1329 in db0ee41

print(err_str, "\n", dep.name, " ")

julia/base/precompilation.jl

Line 1380 in db0ee41

println(io, " ", pkg.name, _color_string(" Being precompiled by $(pkgspidlocked[pkg_config])", Base.info_color(), hascolor))

For these locations, I'm not entirely sure though whether they should print the full name.

Since this is my first PR to julia itself, I would be grateful for any guidance on anything I might have missed.

Fixes #60047

[IanButterworth]

This looks correct and all the places you highlighted also. If you can add them I'll approve. Thanks!

[JoshuaLampert]

Great, I'll add them in a minute. Thanks for the quick reply!

[JoshuaLampert]

I added the first two. For the third one within precompile_pkgs_maybe_cachefile_lock, we do not have access to ext_to_parent though. Should we additionally pass ext_to_parent to precompile_pkgs_maybe_cachefile_lock?

[IanButterworth]

I think so, or pass in the result of full_name as a string?

[JoshuaLampert]

I think so, or pass in the result of full_name as a string?

I did that in 7c59dfb.

[lgoettgens]

Thanks, this really bothered me a few times lately. It would be great if this could get backported to 1.12 and 1.13.

[IanButterworth]

Thanks!