This fixes the bug with .dep cleaning, when we don't build the IDE.

Also, can we merge the replayer into why3session already, please?