cli: allow specifying multiple save files

This allows for saving budgets in multiple formats simultaneously, without
having to recalculate noises.

This will speed up some operations in the CI.