Modify .gitmodules

Use https instead of ssh (for testing on travis-ci.org)