Make Redex Visualizer output pretty