A fast Javascript string diff