Bugfix: url-encode user credentials when building URLs.

Credentials embedded in HTTP URLs on the Jenkins side should be URL-encoded, otherwise passwords containing especial characters (e.g. '>', '&', '#') will in the best case confuse the shell badly.