Backup copies

Two backup files are always kept: .BK2 is older, .BK1 is newer. Therefore, it is possible to restore the source even after two operations (for example failed instrumentation and failed deinstrumentation).