Major Description
Even if the implementation of checkpointing only uses the get/put methods of the KeyValueState interface, the existance of a delete method could be really useful in the general case.
I made a first implementation, what do you think about?
