Use https to clone puppet syntax plugin