update link to the new miniKanren webpage.