Move configuration to flakes

In order to keep the configuration hermetic, we should port it to flakes, so we can easily upgrade the system with a lock file.