Add an option to specify the dump filename
Merge pull request #1 from bedingue/master

Added an option to specify the dump filename.