remove auto-generated files

These files are supposed to be ignored, but must have been added to the index before the .gitignore was created.