Switch to HTTPS git repo

A student was getting a permission denied with the `git://`URL