Use github's merge message for bors merges

Pair programmed with @Vagabond.

Use the same merge-commit message that github uses
for bors auto-merges. We also add a 'Reviewed-by' line
as well. This may not be interesting to upstream, but it
suits our needs.