menu_current(3menu) on Linux

The text 05580801c3f9, as Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

set and get current_menu_item

menu_current(3menu) on Linux now