script improvements...

- support a user-defined tag for cache entries so that cache-infer
  can remember what it has accomplished if it gets killed or dies

- don't parse all LHSs by default, this was slow and wasn't turning
  up problems

- be verbose, if asked
Merge pull request #132 from regehr/cache-dump-improvements

script improvements