Pinakes Text : a Tool to Compare, Interoperate, Distribute and Navigate among Digital Texts