add sophus as submodule