Configure solution dump filename from command line

Fixes #26.