v4.8.0

New configuration option to ignore concurrent modifications. Normally, the plugin will detect when source files are modified while a script is being executed. In this case, the cache will not be filled, because of the uncertainty which state was being used. This should usually avoid bugs, where a cache entry is created with an unmatched cache key. But for certain scripts (e.g. formatting where output is empty) it might be intended to cache anyway. This option allows to do that.