Fix #60: /ban command.

Ban a user by their nickname (if they are present),
or ban any user by their JID.

(Currently no /unban command, that'll come later.)