Add refresh_resource() to Navigator

Provide a way for clients to detect whether a resource exists on the
server and simultaneously retrieve its properties.

This is for situations in which you have a Navigator object but you
don't know whether the resource it refers to is actually still present
on the server, has been deleted, or wasn't even there in the first
place.