Improve coroutine documentation

Besides some rewrite, the coroutine docs have also been moved to the processes
docs. Although coroutines are an API, they are also heavily supposed to be used
by users. Therefore, it's better located there.