Add a copy of my new (logically atomic) specification of the Treiber stack algorithm.

The example was originally developed here: https://gitlab.mpi-sws.org/lepigre/treiber_stack.