make GreenEngine.stop blocking, i.e. wait for a notification

darcs-hash:20090305161148-b2873-1894be1700dab2d8d2096e854d0ea506dff8da7e