Add log-timing for implies and simplify in docs

[tothtamas28]

The documentation mentions log-timing is a valid option for implies and simplify:

haskell-backend/docs/2022-07-18-JSON-RPC-Server-API.md

Line 304 in 5db6dfc

When `log-timing` is set to `true`, the response to `execute`, `simplify` and `implies` requests will contain information about the wall-clock time spent in different components (`kore-rpc`, `booster`, `proxy`) or overall (without qualifying `component`) while processing the request.

This PR includes the parameter under the corresponding request descriptions.