jQuery prettyDiff plugin