scripts/teardown.in no longer removes things that are (now) installed

[disorder] / debian / etc.disorder.options.user

# This file is included from /etc/disorder/options as its last act, so you can
# use it to override any of the default settings.