delete generated files

There are a bunch of generated files that are supposed to be ignored by .gitignore, but they sneaked into the repo anyway.