ArchiveBot, an IRC bot for archiving websites