A Unix menuing shell