Reasonable URI parsing library in JS for the prelude (TODO: expose Java URI API)

Possibly temporary.