New API: Add file.getURL()

Resolves #217