Add pset7 distribution code to the project.