Adding the --coverage-dump option to save coverage results to files