std::weibull_distribution(3cxx) on Linux

The text 29b91f4e9087, as Debian 11 (Bullseye) shipped it.

A weibull_distribution random number distribution.

std::weibull_distribution(3cxx) on Linux now