std::normal_distribution(3cxx) on Linux

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

A normal continuous distribution for random numbers.

std::normal_distribution(3cxx) on Linux now