Remove files that shouldn't be in git.

Boring cleanup stuff. All this stuff is already in `.gitignore`, so it really shouldn't be here.