disobedience/disobedience.h: Declare variables as `extern'.

[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.