setup.configure: Fixed "None" as the default - now writes nothing rather than
    None to the config file (this was being interpreted as the string "None").
    Also changed comment to the effect that None was a permissible value.