std::negative_binomial_distribution(3cxx) on Linux

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

A negative_binomial_distribution random number distribution.