Refactor: Shorten package extension names (Fixes #2543)#2747

ShahuK283 wants to merge 1 commit intotrixi-framework:maintrixi-framework/Trixi.jl:mainfrom

ShahuK283:fix/shorten-extension-namesShahuK283/Trixi.jl:fix/shorten-extension-namesCopy head branch name to clipboard