bugfix in BLASTDataSetFormat: several processes would overwrite the static Config attributes; now BLASTDataSetFormat outputs the result file in STREAM