Varnam Server setting to allow users to configure the Varnam server they want to use.

No more need to monkey-patch addon distributables.