Use public git submodule URLs, otherwise travis-ci.org cannot clone them