Topic/corrections

Add the romeo stack
use git.laas.fr rather than trac.laas.fr