Fixed wrong command for checking out abc as a submodule and changed url to https

The change to https://* instead of git://* is needed since git:// won't work and https:// is the better way since you need a github account for checking out stuff via ssh.