replaced git@ urls with https: to allow download without github account

This is very useful for automated builds.