url.py: Makes URLInfo.url a property.

Removes redundant URLInfo.normalize. Adds url.normalize() convenience
function.