I really think an /ignore command should be implemented asap.
It'd really be useful if it was, especially when it comes to people who are being extremely annoying.
The full command would look like this: /ignore username
Example: /ignore bluewolf314
Though, if it's possible, I think it'd be best for the command to only work against regular players.
Meaning you can ignore anyone who isn't a Moderator, PokeHelper, Gym Leader, or Admin.