Add command line option --dumpresult=outfile.res to write found solutions to a file outfile.res

Add command line option --dumpresult=outfile.res
to write found solutions to a file outfile.res