Changed VERSION back to (unstable/dev) 0.7.x
Fixes #103 Segmentation fault when using a circular property
Fix handling of jsonEncode prettyPrint flag

I noticed that in PHP 5.4+, the jsonEncode method does not respect the
prettyPrint flag.  This commit updates the logic to respect that flag.
Bugfix release 0.7.1