Patching still not working

Updated descriptions for DMDiff and DMPatch to include the super
Converted NSArray *patch_applyPatchesToTextWithProperties(NSArray *sourcePatches, NSString *text, PatchProperties properties);
to NSString *patch_applyPatchesToTextWithProperties(NSArray *sourcePatches, NSString *text, NSIndexSet **indexesOfAppliedPatches, PatchProperties properties);
Fixed the problems with applying patches
Completed adapting tests.
Added a speed test for diffing

Licenses all round
Bonus licenses
Reformatting diff_prettyHTMLFromDiffs()