doc of save_markers
traces created from scratch hold self.file=None
modified documentation of save_markers
fixed some bugs (according to IDE)
These snippets were marked as erroneous.