destroyCDKMenu(3) on Linux

The text 642fdf101112, as Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

Creates a managed curses menu widget.

destroyCDKMenu(3) on Linux now