Issue #1157: Use https for the PhenoTips extension repository URL
Done