Viewer: way to exit cleanly
toTikz: can now handle level change