PAPIF_num_counters(3) on Linux

The text 0b6cec30c46e, as Debian 9 (Stretch) shipped it.

Get the number of hardware counters available on the system.

PAPIF_num_counters(3) on Linux now