[doc] Remove some reference to old github laas/morse repository

While here, make clear that git.openrobots.org is now a mirror.