Changes to use new JIRA server, plus HTTPS