python3-strenum: A Python enum that inherits from str