codamenu function.All submenus are called from the codamenu.main function.
Each submenu returns a string giving the name of the next submenu to be
called, or "quit" if the user decides to quit. This system avoids the
recursive calling of submenus which would accumulate `dead' environments.