Gnome Display Manager - a re-implementation of the xdm program