Adding the reference to the SemFix paper in the fault localization section.