Add link to yices