Servo exit devtools: Send exit message to devtools on browser exit.