feat: profile instructions on Linux

[Kha]

[Kha]

Draft purely for testing for now

[Kha]

!bench

[leanprover-bot]

Here are the benchmark results for commit dcc2bd6d6f402a6ecccb2365fce10bfe722b861a. The entire run failed. Found no significant differences.

[leanprover-community-mathlib4-bot]

• ✅ Mathlib branch lean-pr-testing-3161 has successfully built against this PR. (2024-01-10 18:04:54) View Log
• ✅ Mathlib branch lean-pr-testing-3161 has successfully built against this PR. (2024-01-10 18:39:58) View Log

[Kha]

!bench

[leanprover-bot]

Here are the benchmark results for commit e347b634e907d8341cf3c1a6f79dba7d2cb7d257. There were significant changes against commit 504b6dc93f46785ccddb8c5ff4a8df5be513d887:

  Benchmark     Metric                  Change
  ==========================================================
+ import Lean   branch-misses            -1.8%     (-10.0 σ)
- stdlib        attribute application     4.6%  (128284.0 σ)
- stdlib        tactic execution         17.1% (1815464.8 σ)
- stdlib        type checking             2.0%     (950.6 σ)