message: Changed submodules to https
diff: [submodule "tools/linter"]
  path = tools/linter
  - url = git@github.com:ethz-asl/linter.git
  + url = https://github.com/ethz-asl/linter.git
  [submodule "tools/pybind11"]
  path = tools/pybind11
  url = https://github.com/pybind/pybind11.git
  