Adding the responsiveness mechanism that yields the JavaScript thread every 1-2 seconds. This ensures that the webpage doesn't "lock up", and prevents the web page from asking the user to kill the script (or, in some cases, from the web browser killing the script automatically).

We describe this mechanism in the paper, but I hadn't committed it to public Doppio until now.