Implemented the checkpoint_dir feature

Closes #164 (closed)

There you go. Now we have a --checkpoint-dir option. In case --checkpoint is set and --checkpoint-dir is not set, checkpoints will be saved on the output.

ping @mguenther

This is all good to go

merged

mentioned in commit 5090598f