use https url for submodules, travis is doof