Learning WG is now rustc-dev-guide WG

Hi folks! I'm happy to announce that the learning WG has been renamed to the rustc-dev-guide WG.

You may remember this announcement:

And we've also renamed our working group name. The main reasons to rename are to avoid confusion and to reflect that we now focus on improving rustc-dev-guide. See Zulip discussion for more detail.