perf_counter tools: Generate per command manpages (and pdf/html, etc.)