Removed some auxiliary files from repository.