Added new BrianGlobalPreferences.reset_to_defaults method