Rename CS31Projectt2 Spec.txt to CS31Project2 Spec.txt