Deleting CodePIMPS.pdf so new version can be uploaded