I think a nick based /ignore feature would be best, seeing as IPs are probably only available to the admin, and clients are the ones who'll be using this feature. Also, it shouldn't be a permanent /ignore, just for the time you're on that server. /unignore or just typing /ignore again would be good as well.