Add group tab feature

https://sphinx-tabs.readthedocs.io/en/latest/#group-tabs

With this group tabs, a reader has to choose the correct tab only once and all other tabs on the page are selected as well (e.g. for installation instructions separated by distro).