Simple JSON-RPC PHP web service server implementation