Make paragraph symbols at end of line optional
Make paragraph symbols at end of line optional

(This is a sort of cherry-pick onto the Python diff-match-patch
of commit 79685c9's change to the Javascript implementation.)

COLABORATI/newsdiffs,flupzor/newsdiffs,amandabee/newsdiffs,flupzor/newsdiffs,flupzor/bijgeschaafd,catcosmo/newsdiffs,bjowi/newsdiffs,catcosmo/newsdiffs,bjowi/newsdiffs,flupzor/newsdiffs,flupzor/bijgeschaafd,flupzor/bijgeschaafd,amandabee/newsdiffs,flupzor/bijgeschaafd,flupzor/newsdiffs,bjowi/newsdiffs,catcosmo/newsdiffs,amandabee/newsdiffs,COLABORATI/newsdiffs,COLABORATI/newsdiffs