update doc about profiling

[He-Pin]

https://scala-native.org/en/stable/user/profiling.html

I think the hyperfine https://github.com/sharkdp/hyperfine is better than the time.