Add swig renames for new Z3STR language.