[Python-ideas] A "name" attribute for synchronization primitives