Add a finish handler to the Servo executor.

This avoids an unnecessary delay in case the browser crashes or exits before
the result is printed.