RobOptim stable releases