Simple event-driven menus in Python, useful for embedded applications.