a lightweight PyGTK menu