A set of supybot plugins for server administration (Shell)