Make commitment mapper use publish/subscribe instead of needs_change

[Dimo99]

Currently, we have this needs_change flag, and when it is false, the program sleeps for a certain timeout. What we can do is subscribe to it being changed, and every time someone computes proof, they will notify of that.