For CI environment, it would be nice to have an option to specify the temporary directory when running PHPStan. Currently, it can only be configured through the configuration file.