changed the interface of Index.EQUATION so that it takes a comparison function
added module QCheck in lib/
new indexing structure: NPDtree, non-perfect discrimination trees;
started writing a benchmarking infra