Reformat repository using new nixfmt-rfc-style.
Instead of having to manually stub packages that should not be downloaded we instead automatically stub all packages (except a small list of whitelisted ones). Tests can re-introduce the real package by using the `realPkgs` module argument.
With this change the theme check happens at activation time. An integration test is also added to verify the functionality. Fixes #5110