fix: Inconsistent configuration file name

[nhedger]

Fixes #1678

This PR fixes #1678 by replacing the filename we say we created (infection.json.dist) with the one that actually gets created (infection.json).

The correct file name is inferred from the saveConfig method, where SchemaConfigurationLoader::DEFAULT_CONFIG_FILE is used.

infection/src/Command/ConfigureCommand.php

Lines 225 to 228 in 8110c02

	file_put_contents(
	SchemaConfigurationLoader::DEFAULT_CONFIG_FILE,
	json_encode($configObject, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES)
	);

[sanmai]

Makes sense.

[maks-rafalko]

Thank you, @nhedger