remove files from repo that are mentioned in `.gitignore`

some files might be mistakenly committed before `.gitignore` was settled,
so before they could be deleted, `.gitignore` should be modified appropriately.