Added JSON options for unescaped slashes and pretty print if PHP >= 5.4.0
Bump
Merge branch 'release/1.2.19'