doc: drop unneeded "Software Heritage" from page titles
in the navigation bar of the devel documentation most top-level links are uniform, except the following:
- Software Heritage — Archive ChangeLog
- Software Heritage Journal — Specifications
We should rename them to something like:
- Archive ChangeLog
- Journal specification
Migrated from T3651 (view on Phabricator)