Introduce a flag like RecordStops (and RecordTraces)

[aplteam]

I dislike that feature very much. Yes, it is useful occasionally (rarely), but way more often, it is just annoying.

• I usually don't want stops (traces) to survive.

• I can make a working dir dirty (from Git's point of view) by setting a stop vector, making a change, undo the change and then fix the code.

  I certainly don't want that, and I cannot imagine that anybody wants this.

Because Link records stops and traces in the config file I cannot add it to .gitignore either, so no easy escape route.

[aplteam]

One way to solve this is to record these settings not in the config file but in a separate file. That would allow to .gitignore that file.

[aplteam]

It should still be possible to switch this off altogether.

[mkromberg]

I agree that we should implement both of the above suggestions:

• Make the recording of stop/trace information optional (and off by default)
• Separate the information from the configuration file