added _dump_semtrex which produces a string rendering of a semtrex