cleanup strings2ints, print indices for human readability
Merge branch 'bmyerz-sp2bench-c' of github.com:uwescience/datalogcompiler into bmyerz-sp2bench-c