Update the documentation about Sync Messages

Now it is made clear that replies to Sync Messages can be sent after
the handler of the call has returned.

This is valid because we can only have one Sync Message going on at
any time (the renderer is blocking).
Merge pull request #712 from vcgomes/execution-model-docs

Update the documentation about Sync Messages