[frontend] Use file:// when cloning projects.  Avoids issues with the git transport.
Merge branch 'master' of https://github.com/cs136/seashell