An IRC Chat system for Computer Craft