use HTTPS url for submodules for travis