Update to make code compatible with php 5.3

json_encode does not have a pretty-print option until php 5.4.  To
retain php 5.3 compatibility, I am using the built-in swagger-php
jsonEncode method instead.