Delete some unnecessary stuff from the repo.