Ignore leave-events from ppl not in the game.

Since leave-event was hooked up into ppl quiting and parting from the
channel as well as doing !leave, the message telling ppl were not in the
game would get triggered unintentionally.

gameloop.py

@@ -293,7 +293,8 @@ def game(send, notice, voice, devoice, get_event):
 		elif event == events.leave:
 			nick, = args
 			if nick not in players:
-				send('No such player %s' % nick)
+				# Ignore those not in the game
+				pass
 
 			elif errwrapper('Could not remove player %s (%%s)' % nick, remove_player, nick) is not Error:
 				devoice(nick)