Configuration per server

Lots of settings are now configurable per server, instead of using global settings from the config file. If a discord server does not specify any settings it will default to the global settings.