Fixed PHP-1052: Replace JSON encoding of stream notifications with standard PHP serialize encoding.
Git rid of it in the config files too.
Merged pull request #699
Merge branch 'v1.5'