Greeter: use shorter greeting on rejoin events

Checks whether the previous membership event was a leave event, which would indicate a definite re-join, and sends a different, shorter greeting.

I'd still like to test that this didn't break normal greetings before merging it.