Minibench v1.2.3

Changes:

• Optimized exec speed by resolving the benchmarked program location only once at startup (based on $PATH) instead of once per exec
• Simplified SIGINT handling logic using waitid instead of waitpid

Minibench v1.2.2

Changes:

• More human-readable output breaking long durations into hours, minutes and seconds
• Fixed non-working force mute (-Q option), broken since v1.2 due to a silly typo in the source code