std::fisher_f_distribution(3cxx) on Linux

The text e9de40cb4f13, as Debian 10 (Buster) shipped it.

A fisher_f_distribution random number distribution.

std::fisher_f_distribution(3cxx) on Linux now