telemetry: emit anonymous events

[anvacaru]

• creates a .config/kprofile/config.toml file that holds a user_id and a variable.
• emits events to a telemetry server when:
  • a) a proof starts (tracking if reinit was used or not)
  • b) if there's an SMT error, tracking the retry-limit and timeout options
  • c) when a proof is complete, tracking the number of proofs executed and the total time.