Fix pickling between python sessions

The old pickler/unpickler relied on object ids to achieve uniqueness.
The new code simply make sure that two sentinels with the same name are identical.
This is the desired behavior for most cases, where the name of the sentinel actually gives away its meaning
bump version