who won the lisp machine?