Add `homotopy.SuspensionJoin` to index.agda