Suggested by Marc Weber. Fixes #1059. Generate /etc/nix.machines only if buildMachines is not empty. Thus, if you want to manage /etc/nix.machines in some other way, you can set nix.distributedBuilds to true but not set nix.buildMachines.