Added method to the Parameter class to allow serialization for JSON encoding. PHP 5.4 supports it out of the box, but this approach works also for older PHP versions. Extended json-rpc-server.php accordingly.