Restart tor after changing its configuration, in postinst.