irc: allow "$ident" in option irc.network.ban_mask_default (closes #18)