updating docu of boost.coroutine