Switch to Horde_Text_Diff for php 5.5 compatibility