Add URI-related operators to IOUtils

[lemmy]

tlaplus/tlaplus@1eb8156#diff-364040e3b4487febdb3378d1e3a325421763d819b32c40520360494933a8e263R12 does not work for absolute paths. We should consider adding URI-related operators such as Dirname, Basename, Extname, ...