whonix_repository gui: split menu into two separate questions, first ask if Whonix's repository should or should not be used and if it should be used, ask which one should be used (stable, testers or developers repository)
code simplification