moved JsonRfc class into a separate file, JsonRfc.php
added parameters to execute to specify output format of a JSON string or a PHP array