hash codes of symbols, part 4

put hash codes of strings back the way they were, because cached example output
is cached by hash code, and the package StatePolytope no longer seems to work
with the latest downloadable polymake