starting to port cKanren from miniKanren to microKanren
moved stateful things to cKanren-state, export lambdas/c from cKanren-framework, cleaned up framework (extra run-constraints)
let's just use identity... don't see any need to change basic functions
added cKanren copyright stuff
finished adding base cKanren framework and miniKanren implementation and adding basic tests for unification based programs. Basic runs work, at least.
added cKanren specific test programs
added tracing to bottom of files (and commented it out) and fixed up tests. Removed application of mzero in cKanren-framework, which isn't a function but a null list... tough bug for being so simple... ugh.
added cKanren-neq. Edited exports to allow neq to run. Now to test
finished up porting neq to microkanren's ckanren. have some basic tests but need more to make sure.