chore: Delete Header Service (#480)

Header service has been unusued and obsolete for quiet a while.
This PR deletes it as we no longer should be shipping unused code with
every release

Author: MaximilianSoerenPollak

docs/internals/extensions/header_service.md

@@ -32,13 +32,6 @@ Hello there
       Learn more about our Metamodel extension and what this extension takes care of.
       :ref:`Metamodel Extension<metamodel>`.
 
-   .. grid-item-card::
-
-      Header Service
-      ^^^
-      Learn about the Header Service extension, and how you can configure it.
-      It creates RST Tables and automatically fills our information needed.
-      :ref:`Header Service Extension <header-service>`
 
    .. grid-item-card::
 
@@ -80,7 +73,6 @@ Hello there
 
    Metamodel <metamodel>
    Filebased Testing <rst_filebased_testing>
-   Header Service <header_service>
    Source Code Linker <source_code_linker>
    Extension Guide <extension_guide>
    Sync TOML <sync_toml>

docs/internals/extensions/index.rst

@@ -37,7 +37,6 @@ filegroup(
         ["*.py"],
     ) + [
         "//src/extensions/score_draw_uml_funcs:all_sources",
-        "//src/extensions/score_header_service:all_sources",
         "//src/extensions/score_layout:all_sources",
         "//src/extensions/score_metamodel:all_sources",
         "//src/extensions/score_source_code_linker:all_sources",