Simple administration tools for a cluster of Linux machines