WINGs Display Manager; an xdm replacement