My very old IRC bot made for fun (just pushed the sources)