Make gerrit email server configurable

Sometimes people need to send mail through a smarthost. Allow that.

Change-Id: I66ff43a3ca4fce63500755d16be3aa891d55bc75
Merge "Make gerrit email server configurable"