Instructions for git novices to use https for cloning