use https instead of ssh protocol for github repo cloning

this should avoid unknown key error issues the first time connecting to
github