Correctly encode percent signs in URIs.
Merge pull request #9 from RubenVerborgh/percentencoding

Correctly encode percent signs in URIs