different approach for string_to_ident that works with name mangling
Fixes #343 (closed) (again)
@tchajed I saw in Perennial you are using string_to_ident
directly; can you also switch to the new approach? I guess you could carry the old code on the Perennial side if needed though.