ToolStyler pickles and unpickles properly, Python3.
More Python3 fixes.