Rename lab8nov12.txt to lab8and9nov12and19.txt