ipdb: support dotted quad mask notation in add_ip()/del_ip()