Ship miniperf-record only if we've built for that kind of profiling.

(It would be possible to use miniperf-record without user-mode stack
walking, and the executable is currently only 10 KiB, but the amount of
useful information available would be quite limited.)