Rename IRC_core to IRC_core.py