New script mnick.pl: multi-server nick changer