Open dedicated proxy options with default fallback
Change the default renamed option

As the networking.proxy's type changed (from string to set), to ensure a
retro compatibility, the nix.proxy is now renamed into the
`networking.default.proxy` entry which is also a string and behaves exactly as the
old one.