Do not call the observer unless some changes happened.

Calling the observer when no changes happened causes a large processor usage just to update the terminal running why3 replay. This is even worse over SSH, as a large number of encrypted packets are getting uselessly sent over the network.