change state representation from int to str in discretize

- discretize creates string states 's0', 's1', ... in its ofts field
- discretize explicitly passes adj - state map using a list, when adding transitions to ofts using add_adj
- sys.transitions.add_dj signature now requires state map as list