Remove some files that should not be in git