Extend the handler of the option --unsafe-clear-preferences to clear both preferences and permits

Extend the handler of the option --unsafe-clear-preferences to clear both preferences and permits #15