Log the signal number in the signal handler
Merge branch 'master' of github.com:jedisct1/dnscrypt-proxy

* 'master' of github.com:jedisct1/dnscrypt-proxy:
  Default to OpenDNS resolvers explicitly in the old-style config file because DNSCrypt no longer defaults to them internally