More aggressive about clearing source-buffer marks on termination.
More realgud- -> realgud: name changes.
Try to remove more warnings