Add -dumpdir flag; fixes trac #5198
-ddump-* files are put in the given directory. -outputdir also sets the dumpdir.
-ddump-* files are put in the given directory. -outputdir also sets the dumpdir.
mentioned in commit a499ff73
·mentioned in commit a499ff73