Mention miniKanren in README. [doc]