Change various things

Show "player has joined." only when they are being greeted, send
info/success messages in pagination tools if the target is not a real
player, and change the "player left" message to "player has left."