update_wdm_wmlist(8) on Linux

The text b8094daadc31, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato) shipped it.

updates the window manager list for wdm