Dynamic Servers Menu generator for FluxBox