Update reference to soth (point towards github not laas).

Pointed out by Aurelie Clodic.