dont invent new api to stop greenlets, use existing

Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>