Allow fuzzy matching of patches that fix compilation errors

[rjust]

Currently, a patch that fixes a compilation error for a particular project version needs to apply cleanly.

This is generally desirable, but the number of required patches for a project can grow quickly (minor source-code differences between different project versions) during bug mining or when preserving defects between different Java versions (e.g., benchmark version 2 vs. version 3).

Ideally, we would only express a fix once and the infrastructure would apply this fix to all relevant project versions, using fuzzy matching of patches.