Add new functions and improve documentations of Treiber stack.

[lyrm]

Add functions to the Treiber stack, to match bounded stack in #156 :

• With list : of_list, push_all, pop_all
• With seq: of_seq, add_seq, to_seq
• Consumer functions : peek_exn, peek_opt, pop_exn, drop_exn
• Set functions : set_exn, try_exn
• Others : try_compare_and_pop, try_compare_and_set

[art-w]

This looks very nice! I had some minor questions, but otherwise I'm curious if you have examples use-cases for try_set, try_compare_and_set and set_exn? :)

[lyrm]

For the new functions, try_set, try_compare_and_set, and set_exn, I was considering whether they could be useful for some form of message passing.

Originally, these functions were introduced for the hashtable from the picos library (see picos PR 317). In the context of the hashtable, these operations make a lot of sense. However, due to time constraints, I haven’t had the chance to fully explore how these could be beneficial for a stack. I might move this part of the PR to a subsequent draft PR instead. What do you think ?

[art-w]

Yes I've plenty of use cases for those functions with the hashtable, but I can't think of any for the stack... so it makes sense to remove them for the time being and reconsider adding them later once a use case shows up :)

[lyrm]

@art-w : Thanks a lot for your reviews ! Anything else before I merge this ?

[art-w]

LGTM! 🎉