Delete some backup files that accidentally made it into git.
3 files changed