A Python library for manipulating Internationalized Resource Identifiers (IRIs)