Properly encode URL components

Otherwise, special characters (e.g. +) in the idaSystemURL will be interpreted as encoded data and converted to spaces. Which means that, say, git+https will end up as git https. And then Bad Stuff (tm) happens.