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.

src/components/services/Interactive.js

@@ -342,7 +342,7 @@ export default  function Interactive() {
 
 
       { showDeploy ?
-         <Button className="deploy-button" href={api_host + "ida/deploy?facility=" + idaSystemURL + "&workflow=" + workflowURL} target="_blank">Deploy</Button>
+         <Button className="deploy-button" href={api_host + "ida/deploy?facility=" + encodeURIComponent(idaSystemURL) + "&workflow=" + encodeURIComponent(workflowURL)} target="_blank">Deploy</Button>
          : null }
 
       </div>