sp2bench for datalog

This PR adds sp2bench and changes to support it.
- sp2bench in datalog
- string indexing scripts for csv and rdf
- string lookup routines for clang/grappalang
- rewrite boolean_compile using the new BooleanExprVisitor