JSON-RPC 2.0 server library for PHP