feature request: --savefile #60
Description
Sometimes different prince attacks can be happening in parallel, or paused and restarted using pp.save.
When doing this, it would be very useful to specify a different name for the save file, so that multiple PRINCE runs can easily coexist in the same directory.