Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().
Merge pull request #63 from mdeters/theorystrings-hashset-iteration

Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().