Making the timer() call public
JSON RPC server adds non-standard execution time to response object.  For now in milliseconds (rounded).  May consider xProcTime or other attribute in the future.