newer minikanren (+eigen)

Import new minikanren from Sept. 18 2013 (with eigens). 
Reintroduce all (conjunction), and ground?
Include number tests.
Add new constraint: stringo.
Add tabling with some tests (beta), derived from https://github.com/xrchz/miniKanren/