Update providers.xml

Some Russian ISP added
Automate publishing of the changelogs.

Publishes the changelog on github using a gh-pages branch.

This implementation changes back and forth between git
branches without updating the working tree.  This should
be faster because the branches are unrelated so updating
the tree would require removing and recreating all the files.
More robust parsing of changelog in build.xml
Make sure the gh-pages branch is pushed.
New "-pre-bump-check" target for sanity checks.

Perform all sanity checks before making any changes.
HTML tag cleanup

Effective with earlier commit e2c5229e854e2ef62585f919a15660cba2489b04,
messages are wrapped with <html> tags at display time, rather than
when messages are saved.

For consistency, this commit removes tags from a status message, because
they, too, will be added back at display time.

Closes pull request 286.
Close stream when done (StrictMode error).
bug fix: use "1" not "true" for SQL boolean

Ref:  Pull request #355 from @edemaine
Fixed typo.
Adding missing Dutch translations
Updated Japanese translation of the changelog (Thanks to KATOH Yasufumi).
Make sure Account.getDescription() never returns null

Fixes issue 5857
Close stream when done (StrictMode error)
Update the Catalan translation and squeeze some of its strings.
SMTP dot stuffing should be done *after* line wrapping.
It's APG, not AGP.
Merge pull request #354 from zjw/publish_changelog

 	Automated change log publication
Merge pull request #359 from alenzen/master

It's APG, not AGP.
Code style and documentation cleanup
Add SSL required for provider gmx.de (Issue 5876)